summaryrefslogtreecommitdiff
path: root/examples/logic/Prooftext.gf
AgeCommit message (Expand)Author
2006-12-21overload rules and their documentationaarne
2006-12-19overload resolution with value type, for experimentaarne
2006-11-27AdvS and for_Prep in resource (except Russian)aarne
2006-11-27part of Logic implemented genericallyaarne