/src/Sequents/
drwxr-xr-x [up]
drwxr-xr-x LK
-rw-r--r-- 2010-11-13 12:32 +0100 8004 ILL.thy
-rw-r--r-- 2010-11-13 12:32 +0100 2719 ILL_predlog.thy
-rw-r--r-- 2010-11-13 12:32 +0100 836 IsaMakefile
-rw-r--r-- 2010-11-13 12:32 +0100 7468 LK.thy
-rw-r--r-- 2010-11-13 12:32 +0100 9748 LK0.thy
-rw-r--r-- 2010-11-13 12:32 +0100 1593 Modal0.thy
-rw-r--r-- 2010-11-13 12:32 +0100 1474 README.html
-rw-r--r-- 2010-11-13 12:32 +0100 291 ROOT.ML
-rw-r--r-- 2010-11-13 12:32 +0100 3866 S4.thy
-rw-r--r-- 2010-11-13 12:32 +0100 7824 S43.thy
-rw-r--r-- 2010-11-13 12:32 +0100 4218 Sequents.thy
-rw-r--r-- 2010-11-13 12:32 +0100 2580 T.thy
-rw-r--r-- 2010-11-13 12:32 +0100 1528 Washing.thy
-rw-r--r-- 2010-11-13 12:32 +0100 3255 modal.ML
-rw-r--r-- 2010-11-13 12:32 +0100 6246 prover.ML
-rw-r--r-- 2010-11-13 12:32 +0100 3522 simpdata.ML