/src/Sequents/
drwxr-xr-x [up]
drwxr-xr-x LK
-rw-r--r-- 2009-07-25 10:31 +0200 7899 ILL.thy
-rw-r--r-- 2009-07-25 10:31 +0200 2729 ILL_predlog.thy
-rw-r--r-- 2009-07-25 10:31 +0200 845 IsaMakefile
-rw-r--r-- 2009-07-25 10:31 +0200 7468 LK.thy
-rw-r--r-- 2009-07-25 10:31 +0200 10229 LK0.thy
-rw-r--r-- 2009-07-25 10:31 +0200 1558 Modal0.thy
-rw-r--r-- 2009-07-25 10:31 +0200 1489 README.html
-rw-r--r-- 2009-07-25 10:31 +0200 312 ROOT.ML
-rw-r--r-- 2009-07-25 10:31 +0200 3870 S4.thy
-rw-r--r-- 2009-07-25 10:31 +0200 7755 S43.thy
-rw-r--r-- 2009-07-25 10:31 +0200 4062 Sequents.thy
-rw-r--r-- 2009-07-25 10:31 +0200 2584 T.thy
-rw-r--r-- 2009-07-25 10:31 +0200 1545 Washing.thy
-rw-r--r-- 2009-07-25 10:31 +0200 3235 modal.ML
-rw-r--r-- 2009-07-25 10:31 +0200 6006 prover.ML
-rw-r--r-- 2009-07-25 10:31 +0200 3351 simpdata.ML