diff options
Diffstat (limited to 'old-examples/systemS/test.gfs')
| -rw-r--r-- | old-examples/systemS/test.gfs | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/old-examples/systemS/test.gfs b/old-examples/systemS/test.gfs new file mode 100644 index 000000000..db5e64cbf --- /dev/null +++ b/old-examples/systemS/test.gfs @@ -0,0 +1,7 @@ +i proof.gfcm +rf ex1.txt | p -tr -lang=ProofSymb | l -lang=ProofEng +rf ex2.txt | p -tr -lang=ProofSymb | l -lang=ProofEng +rf ex4.txt | p -tr -lang=ProofSymb | l -lang=ProofEng +rf ex1eng.txt | p -tr -lang=ProofEng | l -lang=ProofSymb +rf ex2eng.txt | p -tr -lang=ProofEng | l -lang=ProofSymb +rf ex4eng.txt | p -tr -lang=ProofEng | l -lang=ProofSymb |