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