aarne 695f30725f restructured Russian; copies of Constructors in present and alltenses

2007-06-08 15:30:21 +00:00

..

Arithm.gf

more in ArithmEng

2006-11-27 21:03:15 +00:00

ArithmEng.gf

restructured Russian; copies of Constructors in present and alltenses

2007-06-08 15:30:21 +00:00

LexTheory.gf

more in ArithmEng

2006-11-27 21:03:15 +00:00

LexTheoryEng.gf

more in ArithmEng

2006-11-27 21:03:15 +00:00

Logic.gf

…

LogicEng.gf

…

LogicI.gf

overload rules and their documentation

2006-12-21 09:25:02 +00:00

Prooftext.gf

overload rules and their documentation

2006-12-21 09:25:02 +00:00

ProoftextEng.gf

…

Theory.gf

…

TheoryEng.gf

…

TheoryI.gf

…