/src/Sequents/
drwxr-xr-x [up]
drwxr-xr-x LK
-rw-r--r-- 2010-02-11 22:19 +0100 8060 ILL.thy
-rw-r--r-- 2010-02-11 22:19 +0100 2739 ILL_predlog.thy
-rw-r--r-- 2010-02-11 22:19 +0100 845 IsaMakefile
-rw-r--r-- 2010-02-11 22:19 +0100 7468 LK.thy
-rw-r--r-- 2010-02-11 22:19 +0100 10261 LK0.thy
-rw-r--r-- 2010-02-11 22:19 +0100 1593 Modal0.thy
-rw-r--r-- 2010-02-11 22:19 +0100 1489 README.html
-rw-r--r-- 2010-02-11 22:19 +0100 312 ROOT.ML
-rw-r--r-- 2010-02-11 22:19 +0100 3870 S4.thy
-rw-r--r-- 2010-02-11 22:19 +0100 7807 S43.thy
-rw-r--r-- 2010-02-11 22:19 +0100 4243 Sequents.thy
-rw-r--r-- 2010-02-11 22:19 +0100 2584 T.thy
-rw-r--r-- 2010-02-11 22:19 +0100 1545 Washing.thy
-rw-r--r-- 2010-02-11 22:19 +0100 3242 modal.ML
-rw-r--r-- 2010-02-11 22:19 +0100 6232 prover.ML
-rw-r--r-- 2010-02-11 22:19 +0100 3377 simpdata.ML