/src/Sequents/
drwxr-xr-x [up]
drwxr-xr-x LK
-rw-r--r-- 2011-09-06 19:03 -0700 7998 ILL.thy
-rw-r--r-- 2011-09-06 19:03 -0700 2719 ILL_predlog.thy
-rw-r--r-- 2011-09-06 19:03 -0700 847 IsaMakefile
-rw-r--r-- 2011-09-06 19:03 -0700 7527 LK.thy
-rw-r--r-- 2011-09-06 19:03 -0700 9616 LK0.thy
-rw-r--r-- 2011-09-06 19:03 -0700 1593 Modal0.thy
-rw-r--r-- 2011-09-06 19:03 -0700 1474 README.html
-rw-r--r-- 2011-09-06 19:03 -0700 291 ROOT.ML
-rw-r--r-- 2011-09-06 19:03 -0700 3852 S4.thy
-rw-r--r-- 2011-09-06 19:03 -0700 7815 S43.thy
-rw-r--r-- 2011-09-06 19:03 -0700 4311 Sequents.thy
-rw-r--r-- 2011-09-06 19:03 -0700 2567 T.thy
-rw-r--r-- 2011-09-06 19:03 -0700 1528 Washing.thy
-rw-r--r-- 2011-09-06 19:03 -0700 3278 modal.ML
-rw-r--r-- 2011-09-06 19:03 -0700 6246 prover.ML
-rw-r--r-- 2011-09-06 19:03 -0700 3518 simpdata.ML