/src/Sequents/
drwxr-xr-x [up]
drwxr-xr-x LK
-rw-r--r-- 2015-09-01 22:32 +0200 7963 ILL.thy
-rw-r--r-- 2015-09-01 22:32 +0200 2719 ILL_predlog.thy
-rw-r--r-- 2015-09-01 22:32 +0200 6476 LK.thy
-rw-r--r-- 2015-09-01 22:32 +0200 9784 LK0.thy
-rw-r--r-- 2015-09-01 22:32 +0200 1646 Modal0.thy
-rw-r--r-- 2015-09-01 22:32 +0200 1410 ROOT
-rw-r--r-- 2015-09-01 22:32 +0200 3936 S4.thy
-rw-r--r-- 2015-09-01 22:32 +0200 7942 S43.thy
-rw-r--r-- 2015-09-01 22:32 +0200 4439 Sequents.thy
-rw-r--r-- 2015-09-01 22:32 +0200 2649 T.thy
-rw-r--r-- 2015-09-01 22:32 +0200 1389 Washing.thy
-rw-r--r-- 2015-09-01 22:32 +0200 3492 modal.ML
-rw-r--r-- 2015-09-01 22:32 +0200 8239 prover.ML
-rw-r--r-- 2015-09-01 22:32 +0200 3658 simpdata.ML