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