/src/Sequents/
drwxr-xr-x [up]
drwxr-xr-x LK
-rw-r--r-- 2018-05-06 18:20 +0000 9031 ILL.thy
-rw-r--r-- 2018-05-06 18:20 +0000 3209 ILL_predlog.thy
-rw-r--r-- 2018-05-06 18:20 +0000 10729 LK.thy
-rw-r--r-- 2018-05-06 18:20 +0000 11798 LK0.thy
-rw-r--r-- 2018-05-06 18:20 +0000 1832 Modal0.thy
-rw-r--r-- 2018-05-06 18:20 +0000 1380 ROOT
-rw-r--r-- 2018-05-06 18:20 +0000 5733 S4.thy
-rw-r--r-- 2018-05-06 18:20 +0000 11210 S43.thy
-rw-r--r-- 2018-05-06 18:20 +0000 4744 Sequents.thy
-rw-r--r-- 2018-05-06 18:20 +0000 3733 T.thy
-rw-r--r-- 2018-05-06 18:20 +0000 1469 Washing.thy
-rw-r--r-- 2018-05-06 18:20 +0000 3492 modal.ML
-rw-r--r-- 2018-05-06 18:20 +0000 8229 prover.ML
-rw-r--r-- 2018-05-06 18:20 +0000 3654 simpdata.ML