/examples/logic/

• ../
• LexTheory.gf
• LexTheoryEng.gf
• Theory.gf
• TheoryEng.gf
• TheoryI.gf