Index of: 
/auersoft.eu/uni/prooftheoretic
/auersoft.eu/uni/prooftheoretic/auersoft.eu/uni/prooftheoreticName |
Size | Modified | Type | Description | |
|---|---|---|---|---|---|
 | Parent Directory | | 1:46pm08/14/2024 | directory | |
 | proofth-paper-pspdfdvi.tgz | 276.3 KiB | 5:20pm03/29/2002 | x-gzip | |
| proofth-paper-source.tgz | 18.3 KiB | 5:20pm03/29/2002 | x-gzip | |
 | proofth-sentences.txt | 985 bytes | 10:15pm03/26/2002 | plain | |
 | proofth-workshop.dvi | 7.1 KiB | 9:37pm02/11/2002 | x-dvi | |
 | proofth-workshop.tex | 6.5 KiB | 1:42pm04/26/2009 | x-tex | |
 | pspdf-proofth-workshop.zip | 46.6 KiB | 9:38pm02/11/2002 | zip | |
| standard.tex | 1415 bytes | 1:42pm04/26/2009 | x-tex | |
 | the-memory-measure.pdf | 262.1 KiB | 5:12pm03/29/2002 | | |
| 8 files | 619 KiB | 
|