summaryrefslogtreecommitdiff
path: root/examples/logic/ProoftextEng.gf
AgeCommit message (Expand)Author
2006-11-27AdvS and for_Prep in resource (except Russian)aarne
2006-11-27part of Logic implemented genericallyaarne