| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | Formula.gf | 275 | logplain |
| -rw-r--r-- | FormulaSymb.gf | 464 | logplain |
| -rw-r--r-- | Precedence.gf | 1306 | logplain |
| -rw-r--r-- | Proof.gf | 642 | logplain |
| -rw-r--r-- | ProofEng.gf | 3232 | logplain |
| -rw-r--r-- | ProofSymb.gf | 2378 | logplain |
| -rw-r--r-- | README | 1801 | logplain |
| -rw-r--r-- | ex1.txt | 206 | logplain |
| -rw-r--r-- | ex1eng.txt | 139 | logplain |
| -rw-r--r-- | ex2.txt | 452 | logplain |
| -rw-r--r-- | ex2eng.txt | 348 | logplain |
| -rw-r--r-- | ex4.txt | 479 | logplain |
| -rw-r--r-- | ex4eng.txt | 435 | logplain |
| -rw-r--r-- | proof.gfcm | 22273 | logplain |
| -rw-r--r-- | test.gfs | 346 | logplain |
 |
index : gf-core.git | |
| Unnamed repository; edit this file 'description' to name the repository. | Adrian |
| summaryrefslogtreecommitdiff |