/src/Sequents/
drwxr-xr-x [up]
drwxr-xr-x LK
-rw-r--r-- 2013-03-27 16:38 +0100 8108 ILL.thy
-rw-r--r-- 2013-03-27 16:38 +0100 2719 ILL_predlog.thy
-rw-r--r-- 2013-03-27 16:38 +0100 7490 LK.thy
-rw-r--r-- 2013-03-27 16:38 +0100 9779 LK0.thy
-rw-r--r-- 2013-03-27 16:38 +0100 1597 Modal0.thy
-rw-r--r-- 2013-03-27 16:38 +0100 1612 ROOT
-rw-r--r-- 2013-03-27 16:38 +0100 3902 S4.thy
-rw-r--r-- 2013-03-27 16:38 +0100 7877 S43.thy
-rw-r--r-- 2013-03-27 16:38 +0100 4296 Sequents.thy
-rw-r--r-- 2013-03-27 16:38 +0100 2617 T.thy
-rw-r--r-- 2013-03-27 16:38 +0100 1570 Washing.thy
-rw-r--r-- 2013-03-27 16:38 +0100 3278 modal.ML
-rw-r--r-- 2013-03-27 16:38 +0100 6246 prover.ML
-rw-r--r-- 2013-03-27 16:38 +0100 3578 simpdata.ML