/src/Sequents/
drwxr-xr-x [up]
drwxr-xr-x LK
-rw-r--r-- 2011-03-18 18:19 +0100 8004 ILL.thy
-rw-r--r-- 2011-03-18 18:19 +0100 2719 ILL_predlog.thy
-rw-r--r-- 2011-03-18 18:19 +0100 836 IsaMakefile
-rw-r--r-- 2011-03-18 18:19 +0100 7475 LK.thy
-rw-r--r-- 2011-03-18 18:19 +0100 9754 LK0.thy
-rw-r--r-- 2011-03-18 18:19 +0100 1593 Modal0.thy
-rw-r--r-- 2011-03-18 18:19 +0100 1474 README.html
-rw-r--r-- 2011-03-18 18:19 +0100 291 ROOT.ML
-rw-r--r-- 2011-03-18 18:19 +0100 3866 S4.thy
-rw-r--r-- 2011-03-18 18:19 +0100 7827 S43.thy
-rw-r--r-- 2011-03-18 18:19 +0100 4222 Sequents.thy
-rw-r--r-- 2011-03-18 18:19 +0100 2580 T.thy
-rw-r--r-- 2011-03-18 18:19 +0100 1528 Washing.thy
-rw-r--r-- 2011-03-18 18:19 +0100 3278 modal.ML
-rw-r--r-- 2011-03-18 18:19 +0100 6246 prover.ML
-rw-r--r-- 2011-03-18 18:19 +0100 3522 simpdata.ML