/src/Sequents/
drwxr-xr-x [up]
drwxr-xr-x LK
-rw-r--r-- 2014-02-20 15:14 +0100 7912 ILL.thy
-rw-r--r-- 2014-02-20 15:14 +0100 2719 ILL_predlog.thy
-rw-r--r-- 2014-02-20 15:14 +0100 6298 LK.thy
-rw-r--r-- 2014-02-20 15:14 +0100 9548 LK0.thy
-rw-r--r-- 2014-02-20 15:14 +0100 1613 Modal0.thy
-rw-r--r-- 2014-02-20 15:14 +0100 1410 ROOT
-rw-r--r-- 2014-02-20 15:14 +0100 3916 S4.thy
-rw-r--r-- 2014-02-20 15:14 +0100 7898 S43.thy
-rw-r--r-- 2014-02-20 15:14 +0100 4382 Sequents.thy
-rw-r--r-- 2014-02-20 15:14 +0100 2629 T.thy
-rw-r--r-- 2014-02-20 15:14 +0100 1321 Washing.thy
-rw-r--r-- 2014-02-20 15:14 +0100 3305 modal.ML
-rw-r--r-- 2014-02-20 15:14 +0100 8072 prover.ML
-rw-r--r-- 2014-02-20 15:14 +0100 3605 simpdata.ML