drwxr-xr-x | [up] | |||
-rw-r--r-- | 1999-04-27 10:45 +0200 | 1985 | BasicLogic.thy | file | revisions | annotate |
-rw-r--r-- | 1999-04-27 10:45 +0200 | 370 | Cantor.ML | file | revisions | annotate |
-rw-r--r-- | 1999-04-27 10:45 +0200 | 3351 | Cantor.thy | file | revisions | annotate |
-rw-r--r-- | 1999-04-27 10:45 +0200 | 3298 | ExprCompiler.thy | file | revisions | annotate |
-rw-r--r-- | 1999-04-27 10:45 +0200 | 767 | Peirce.thy | file | revisions | annotate |
-rw-r--r-- | 1999-04-27 10:45 +0200 | 254 | ROOT.ML | file | revisions | annotate |