| drwxr-xr-x | [up] | |||
| drwxr-xr-x | Doc | files | ||
| drwxr-xr-x | G4ip | files | ||
| -rw-r--r-- | 2015-08-20 13:07 +0800 | 1860 | Contexts.pizza | file | revisions | annotate |
| -rw-r--r-- | 2015-08-20 13:07 +0800 | 1285 | Formulae.pizza | file | revisions | annotate |
| -rw-r--r-- | 2015-08-20 13:07 +0800 | 242 | G4ip.bbl | file | revisions | annotate |
| -rw-r--r-- | 2015-08-20 13:07 +0800 | 0 | G4ip.blg | file | revisions | annotate |
| -rw-r--r-- | 2015-08-20 13:07 +0800 | 3660 | G4ip.dvi | file | revisions | annotate |
| -rw-r--r-- | 2015-08-20 13:07 +0800 | 9500 | G4ip.gif | file | revisions | annotate |
| -rw-r--r-- | 2015-08-20 13:07 +0800 | 711 | G4ip.html | file | revisions | annotate |
| -rw-r--r-- | 2015-08-20 13:07 +0800 | 3480 | G4ip.mod | file | revisions | annotate |
| -rw-r--r-- | 2015-08-20 13:07 +0800 | 28316 | G4ip.ps | file | revisions | annotate |
| -rw-r--r-- | 2015-08-20 13:07 +0800 | 2870 | G4ip.tex | file | revisions | annotate |
| -rw-r--r-- | 2015-08-20 13:07 +0800 | 19 | GettingStarted.html | file | revisions | annotate |
| -rw-r--r-- | 2015-08-20 13:07 +0800 | 6238 | Parser.pizza | file | revisions | annotate |
| -rw-r--r-- | 2015-08-20 13:07 +0800 | 2558 | ProofDisplay.pizza | file | revisions | annotate |
| -rw-r--r-- | 2015-08-20 13:07 +0800 | 7575 | Prover.pizza | file | revisions | annotate |
| -rw-r--r-- | 2015-08-20 13:07 +0800 | 3215 | ProverApplet.html | file | revisions | annotate |
| -rw-r--r-- | 2015-08-20 13:07 +0800 | 4288 | ProverApplet.pizza | file | revisions | annotate |
| -rw-r--r-- | 2015-08-20 13:07 +0800 | 3316 | ProverAppletJar.html | file | revisions | annotate |
| -rw-r--r-- | 2015-08-20 13:07 +0800 | 2623 | README | file | revisions | annotate |
| -rw-r--r-- | 2015-08-20 13:07 +0800 | 641 | Sequents.pizza | file | revisions | annotate |
| -rw-r--r-- | 2015-08-20 13:07 +0800 | 11969 | Tableaux98.dvi.gz | file | revisions | annotate |
| -rw-r--r-- | 2015-08-20 13:07 +0800 | 32426 | Tableaux98.ps.gz | file | revisions | annotate |
| -rw-r--r-- | 2015-08-20 13:07 +0800 | 4331 | execution.gif | file | revisions | annotate |
| -rw-r--r-- | 2015-08-20 13:07 +0800 | 783 | fun.html | file | revisions | annotate |
| -rw-r--r-- | 2015-08-20 13:07 +0800 | 17801 | index.html | file | revisions | annotate |
| -rw-r--r-- | 2015-08-20 13:07 +0800 | 3169 | proof.gif | file | revisions | annotate |
