summaryrefslogtreecommitdiff
path: root/examples/logic/TheoryEng.gf
AgeCommit message (Collapse)Author
2006-11-26a logic library; fix in make mathematicalaarne