| drwxr-xr-x | [up] | |||
| -rw-r--r-- | 2003-08-19 13:53 +0200 | 36967 | FOL.tex | file | revisions | annotate |
| -rw-r--r-- | 2003-08-19 13:53 +0200 | 831 | FOL_examples.thy | file | revisions | annotate |
| -rw-r--r-- | 2003-08-19 13:53 +0200 | 1832 | IFOL_examples.thy | file | revisions | annotate |
| -rw-r--r-- | 2003-08-19 13:53 +0200 | 864 | IsaMakefile | file | revisions | annotate |
| -rw-r--r-- | 2003-08-19 13:53 +0200 | 648 | Makefile | file | revisions | annotate |
| -rw-r--r-- | 2003-08-19 13:53 +0200 | 109 | ROOT.ML | file | revisions | annotate |
| -rw-r--r-- | 2003-08-19 13:53 +0200 | 115810 | ZF.tex | file | revisions | annotate |
| -rw-r--r-- | 2003-08-19 13:53 +0200 | 3532 | ZF_examples.thy | file | revisions | annotate |
| -rw-r--r-- | 2003-08-19 13:53 +0200 | 5382 | isabelle.sty | file | revisions | annotate |
| -rw-r--r-- | 2003-08-19 13:53 +0200 | 18440 | isabellesym.sty | file | revisions | annotate |
| -rw-r--r-- | 2003-08-19 13:53 +0200 | 2014 | logics-ZF.tex | file | revisions | annotate |