summaryrefslogtreecommitdiff
path: root/grammars/logic
ModeNameSize
-rw-r--r--Arithm.gf1888logplain
-rw-r--r--ArithmEng.gf1258logplain
-rw-r--r--Logic.gf2707logplain
-rw-r--r--LogicEng.gf2471logplain
-rw-r--r--LogicResEng.gf683logplain