/src/Sequents/
drwxr-xr-x [up]
drwxr-xr-x LK
-rw-r--r-- 2019-11-03 21:46 -0500 9201 ILL.thy
-rw-r--r-- 2019-11-03 21:46 -0500 3209 ILL_predlog.thy
-rw-r--r-- 2019-11-03 21:46 -0500 10748 LK.thy
-rw-r--r-- 2019-11-03 21:46 -0500 11943 LK0.thy
-rw-r--r-- 2019-11-03 21:46 -0500 1957 Modal0.thy
-rw-r--r-- 2019-11-03 21:46 -0500 1396 ROOT
-rw-r--r-- 2019-11-03 21:46 -0500 5733 S4.thy
-rw-r--r-- 2019-11-03 21:46 -0500 11266 S43.thy
-rw-r--r-- 2019-11-03 21:46 -0500 5081 Sequents.thy
-rw-r--r-- 2019-11-03 21:46 -0500 3733 T.thy
-rw-r--r-- 2019-11-03 21:46 -0500 1469 Washing.thy
-rw-r--r-- 2019-11-03 21:46 -0500 3507 modal.ML
-rw-r--r-- 2019-11-03 21:46 -0500 8377 prover.ML
-rw-r--r-- 2019-11-03 21:46 -0500 3821 simpdata.ML