Commit Graph
3 Commits
Author SHA1 Message Date
aarne 196f19df49 Scandinavian conjunction 2005-12-07 22:22:29 +00:00
aarne 20119ddfc5 ResEng.mkS to mkClause 2005-12-07 21:51:40 +00:00
aarne 6bde673982 started ExtEng 2005-12-06 15:21:38 +00:00