/src/Sequents/
drwxr-xr-x [up]
drwxr-xr-x LK
-rw-r--r-- 2009-02-26 10:13 +0100 7914 ILL.thy
-rw-r--r-- 2009-02-26 10:13 +0100 2729 ILL_predlog.thy
-rw-r--r-- 2009-02-26 10:13 +0100 845 IsaMakefile
-rw-r--r-- 2009-02-26 10:13 +0100 7467 LK.thy
-rw-r--r-- 2009-02-26 10:13 +0100 10254 LK0.thy
-rw-r--r-- 2009-02-26 10:13 +0100 1558 Modal0.thy
-rw-r--r-- 2009-02-26 10:13 +0100 1489 README.html
-rw-r--r-- 2009-02-26 10:13 +0100 312 ROOT.ML
-rw-r--r-- 2009-02-26 10:13 +0100 3875 S4.thy
-rw-r--r-- 2009-02-26 10:13 +0100 7760 S43.thy
-rw-r--r-- 2009-02-26 10:13 +0100 4062 Sequents.thy
-rw-r--r-- 2009-02-26 10:13 +0100 2589 T.thy
-rw-r--r-- 2009-02-26 10:13 +0100 1545 Washing.thy
-rw-r--r-- 2009-02-26 10:13 +0100 3235 modal.ML
-rw-r--r-- 2009-02-26 10:13 +0100 5924 prover.ML
-rw-r--r-- 2009-02-26 10:13 +0100 3342 simpdata.ML