drwxr-xr-x | [up] | |||
drwxr-xr-x | LK | files | ||
-rw-r--r-- | 2006-11-20 23:47 +0100 | 4366 | ILL.ML | file | revisions | annotate |
-rw-r--r-- | 2006-11-20 23:47 +0100 | 3329 | ILL.thy | file | revisions | annotate |
-rw-r--r-- | 2006-11-20 23:47 +0100 | 2786 | ILL_predlog.thy | file | revisions | annotate |
-rw-r--r-- | 2006-11-20 23:47 +0100 | 834 | IsaMakefile | file | revisions | annotate |
-rw-r--r-- | 2006-11-20 23:47 +0100 | 860 | LK.thy | file | revisions | annotate |
-rw-r--r-- | 2006-11-20 23:47 +0100 | 10539 | LK0.thy | file | revisions | annotate |
-rw-r--r-- | 2006-11-20 23:47 +0100 | 1558 | Modal0.thy | file | revisions | annotate |
-rw-r--r-- | 2006-11-20 23:47 +0100 | 1489 | README.html | file | revisions | annotate |
-rw-r--r-- | 2006-11-20 23:47 +0100 | 465 | ROOT.ML | file | revisions | annotate |
-rw-r--r-- | 2006-11-20 23:47 +0100 | 3873 | S4.thy | file | revisions | annotate |
-rw-r--r-- | 2006-11-20 23:47 +0100 | 7760 | S43.thy | file | revisions | annotate |
-rw-r--r-- | 2006-11-20 23:47 +0100 | 3964 | Sequents.thy | file | revisions | annotate |
-rw-r--r-- | 2006-11-20 23:47 +0100 | 2587 | T.thy | file | revisions | annotate |
-rw-r--r-- | 2006-11-20 23:47 +0100 | 1569 | Washing.thy | file | revisions | annotate |
-rw-r--r-- | 2006-11-20 23:47 +0100 | 3244 | modal.ML | file | revisions | annotate |
-rw-r--r-- | 2006-11-20 23:47 +0100 | 6815 | prover.ML | file | revisions | annotate |
-rw-r--r-- | 2006-11-20 23:47 +0100 | 9478 | simpdata.ML | file | revisions | annotate |