/src/Sequents/ default tip
drwxr-xr-x [up]
drwxr-xr-x LK
-rw-r--r-- 2021-10-21 18:20 +0200 9201 ILL.thy
-rw-r--r-- 2021-10-21 18:20 +0200 3209 ILL_predlog.thy
-rw-r--r-- 2021-10-21 18:20 +0200 10748 LK.thy
-rw-r--r-- 2021-10-21 18:20 +0200 11943 LK0.thy
-rw-r--r-- 2021-10-21 18:20 +0200 1953 Modal0.thy
-rw-r--r-- 2021-10-21 18:20 +0200 1396 ROOT
-rw-r--r-- 2021-10-21 18:20 +0200 5733 S4.thy
-rw-r--r-- 2021-10-21 18:20 +0200 11261 S43.thy
-rw-r--r-- 2021-10-21 18:20 +0200 4990 Sequents.thy
-rw-r--r-- 2021-10-21 18:20 +0200 3733 T.thy
-rw-r--r-- 2021-10-21 18:20 +0200 1469 Washing.thy
-rw-r--r-- 2021-10-21 18:20 +0200 3492 modal.ML
-rw-r--r-- 2021-10-21 18:20 +0200 8344 prover.ML
-rw-r--r-- 2021-10-21 18:20 +0200 3741 simpdata.ML