/src/Sequents/
drwxr-xr-x [up]
drwxr-xr-x LK
-rw-r--r-- 2010-07-20 06:35 +0200 8060 ILL.thy
-rw-r--r-- 2010-07-20 06:35 +0200 2719 ILL_predlog.thy
-rw-r--r-- 2010-07-20 06:35 +0200 836 IsaMakefile
-rw-r--r-- 2010-07-20 06:35 +0200 7468 LK.thy
-rw-r--r-- 2010-07-20 06:35 +0200 9806 LK0.thy
-rw-r--r-- 2010-07-20 06:35 +0200 1593 Modal0.thy
-rw-r--r-- 2010-07-20 06:35 +0200 1474 README.html
-rw-r--r-- 2010-07-20 06:35 +0200 291 ROOT.ML
-rw-r--r-- 2010-07-20 06:35 +0200 3852 S4.thy
-rw-r--r-- 2010-07-20 06:35 +0200 7807 S43.thy
-rw-r--r-- 2010-07-20 06:35 +0200 4225 Sequents.thy
-rw-r--r-- 2010-07-20 06:35 +0200 2566 T.thy
-rw-r--r-- 2010-07-20 06:35 +0200 1504 Washing.thy
-rw-r--r-- 2010-07-20 06:35 +0200 3242 modal.ML
-rw-r--r-- 2010-07-20 06:35 +0200 6232 prover.ML
-rw-r--r-- 2010-07-20 06:35 +0200 3402 simpdata.ML