/old-examples/logic/

• ../
• Arithm.gf
• ArithmEng.gf
• LexTheory.gf
• LexTheoryEng.gf
• Logic.gf
• LogicEng.gf
• LogicI.gf
• Prooftext.gf
• ProoftextEng.gf
• Theory.gf
• TheoryEng.gf
• TheoryI.gf