summaryrefslogtreecommitdiff
path: root/grammars/logic
ModeNameSize
-rw-r--r--Arithm.gf1916logplain
-rw-r--r--ArithmEng.gf1282logplain
-rw-r--r--Logic.gf2727logplain
-rw-r--r--LogicEng.gf2517logplain
-rw-r--r--LogicResEng.gf683logplain