drwxr-xr-x | [up] | |||
-rw-r--r-- | 1999-07-01 21:19 +0200 | 1997 | BasicLogic.thy | file | revisions | annotate |
-rw-r--r-- | 1999-07-01 21:19 +0200 | 370 | Cantor.ML | file | revisions | annotate |
-rw-r--r-- | 1999-07-01 21:19 +0200 | 3361 | Cantor.thy | file | revisions | annotate |
-rw-r--r-- | 1999-07-01 21:19 +0200 | 3224 | ExprCompiler.thy | file | revisions | annotate |
-rw-r--r-- | 1999-07-01 21:19 +0200 | 4232 | Group.thy | file | revisions | annotate |
-rw-r--r-- | 1999-07-01 21:19 +0200 | 2006 | NatSum.thy | file | revisions | annotate |
-rw-r--r-- | 1999-07-01 21:19 +0200 | 775 | Peirce.thy | file | revisions | annotate |
-rw-r--r-- | 1999-07-01 21:19 +0200 | 289 | ROOT.ML | file | revisions | annotate |