/src/Sequents/
drwxr-xr-x [up]
drwxr-xr-x LK
-rw-r--r-- 2015-06-19 07:53 +0200 7912 ILL.thy
-rw-r--r-- 2015-06-19 07:53 +0200 2719 ILL_predlog.thy
-rw-r--r-- 2015-06-19 07:53 +0200 6320 LK.thy
-rw-r--r-- 2015-06-19 07:53 +0200 9611 LK0.thy
-rw-r--r-- 2015-06-19 07:53 +0200 1613 Modal0.thy
-rw-r--r-- 2015-06-19 07:53 +0200 1410 ROOT
-rw-r--r-- 2015-06-19 07:53 +0200 3916 S4.thy
-rw-r--r-- 2015-06-19 07:53 +0200 7898 S43.thy
-rw-r--r-- 2015-06-19 07:53 +0200 4383 Sequents.thy
-rw-r--r-- 2015-06-19 07:53 +0200 2629 T.thy
-rw-r--r-- 2015-06-19 07:53 +0200 1353 Washing.thy
-rw-r--r-- 2015-06-19 07:53 +0200 3492 modal.ML
-rw-r--r-- 2015-06-19 07:53 +0200 8239 prover.ML
-rw-r--r-- 2015-06-19 07:53 +0200 3682 simpdata.ML