/src/Sequents/
drwxr-xr-x [up]
drwxr-xr-x LK
-rw-r--r-- 2010-08-31 08:00 +0200 8060 ILL.thy
-rw-r--r-- 2010-08-31 08:00 +0200 2719 ILL_predlog.thy
-rw-r--r-- 2010-08-31 08:00 +0200 836 IsaMakefile
-rw-r--r-- 2010-08-31 08:00 +0200 7468 LK.thy
-rw-r--r-- 2010-08-31 08:00 +0200 9791 LK0.thy
-rw-r--r-- 2010-08-31 08:00 +0200 1593 Modal0.thy
-rw-r--r-- 2010-08-31 08:00 +0200 1474 README.html
-rw-r--r-- 2010-08-31 08:00 +0200 291 ROOT.ML
-rw-r--r-- 2010-08-31 08:00 +0200 3852 S4.thy
-rw-r--r-- 2010-08-31 08:00 +0200 7807 S43.thy
-rw-r--r-- 2010-08-31 08:00 +0200 4217 Sequents.thy
-rw-r--r-- 2010-08-31 08:00 +0200 2566 T.thy
-rw-r--r-- 2010-08-31 08:00 +0200 1504 Washing.thy
-rw-r--r-- 2010-08-31 08:00 +0200 3255 modal.ML
-rw-r--r-- 2010-08-31 08:00 +0200 6246 prover.ML
-rw-r--r-- 2010-08-31 08:00 +0200 3522 simpdata.ML