/src/Sequents/
drwxr-xr-x [up]
drwxr-xr-x LK
-rw-r--r-- 2006-11-21 18:07 +0100 7911 ILL.thy
-rw-r--r-- 2006-11-21 18:07 +0100 2721 ILL_predlog.thy
-rw-r--r-- 2006-11-21 18:07 +0100 827 IsaMakefile
-rw-r--r-- 2006-11-21 18:07 +0100 813 LK.thy
-rw-r--r-- 2006-11-21 18:07 +0100 10493 LK0.thy
-rw-r--r-- 2006-11-21 18:07 +0100 1558 Modal0.thy
-rw-r--r-- 2006-11-21 18:07 +0100 1489 README.html
-rw-r--r-- 2006-11-21 18:07 +0100 465 ROOT.ML
-rw-r--r-- 2006-11-21 18:07 +0100 3873 S4.thy
-rw-r--r-- 2006-11-21 18:07 +0100 7760 S43.thy
-rw-r--r-- 2006-11-21 18:07 +0100 3964 Sequents.thy
-rw-r--r-- 2006-11-21 18:07 +0100 2587 T.thy
-rw-r--r-- 2006-11-21 18:07 +0100 1569 Washing.thy
-rw-r--r-- 2006-11-21 18:07 +0100 3244 modal.ML
-rw-r--r-- 2006-11-21 18:07 +0100 5915 prover.ML
-rw-r--r-- 2006-11-21 18:07 +0100 9558 simpdata.ML