/old-examples/systemS/

• ../
• Formula.gf
• FormulaSymb.gf
• Precedence.gf
• Proof.gf
• ProofEng.gf
• ProofSymb.gf
• README
• ex1.txt
• ex1eng.txt
• ex2.txt
• ex2eng.txt
• ex4.txt
• ex4eng.txt
• proof.gfcm
• test.gfs