/src/Sequents/
drwxr-xr-x [up]
drwxr-xr-x LK
-rw-r--r-- 2007-07-31 21:19 +0200 7914 ILL.thy
-rw-r--r-- 2007-07-31 21:19 +0200 2729 ILL_predlog.thy
-rw-r--r-- 2007-07-31 21:19 +0200 827 IsaMakefile
-rw-r--r-- 2007-07-31 21:19 +0200 813 LK.thy
-rw-r--r-- 2007-07-31 21:19 +0200 10286 LK0.thy
-rw-r--r-- 2007-07-31 21:19 +0200 1558 Modal0.thy
-rw-r--r-- 2007-07-31 21:19 +0200 1489 README.html
-rw-r--r-- 2007-07-31 21:19 +0200 465 ROOT.ML
-rw-r--r-- 2007-07-31 21:19 +0200 3875 S4.thy
-rw-r--r-- 2007-07-31 21:19 +0200 7760 S43.thy
-rw-r--r-- 2007-07-31 21:19 +0200 3964 Sequents.thy
-rw-r--r-- 2007-07-31 21:19 +0200 2589 T.thy
-rw-r--r-- 2007-07-31 21:19 +0200 1569 Washing.thy
-rw-r--r-- 2007-07-31 21:19 +0200 3244 modal.ML
-rw-r--r-- 2007-07-31 21:19 +0200 5907 prover.ML
-rw-r--r-- 2007-07-31 21:19 +0200 9323 simpdata.ML