summaryrefslogtreecommitdiff
path: root/examples/logic
ModeNameSize
-rw-r--r--LexTheory.gf108logplain
-rw-r--r--LexTheoryEng.gf185logplain
-rw-r--r--Theory.gf1527logplain
-rw-r--r--TheoryEng.gf290logplain
-rw-r--r--TheoryI.gf1194logplain