/src/Sequents/
drwxr-xr-x [up]
drwxr-xr-x LK
-rw-r--r-- 2012-09-25 22:36 +0200 7998 ILL.thy
-rw-r--r-- 2012-09-25 22:36 +0200 2719 ILL_predlog.thy
-rw-r--r-- 2012-09-25 22:36 +0200 7490 LK.thy
-rw-r--r-- 2012-09-25 22:36 +0200 9596 LK0.thy
-rw-r--r-- 2012-09-25 22:36 +0200 1597 Modal0.thy
-rw-r--r-- 2012-09-25 22:36 +0200 1474 README.html
-rw-r--r-- 2012-09-25 22:36 +0200 668 ROOT
-rw-r--r-- 2012-09-25 22:36 +0200 3852 S4.thy
-rw-r--r-- 2012-09-25 22:36 +0200 7815 S43.thy
-rw-r--r-- 2012-09-25 22:36 +0200 4296 Sequents.thy
-rw-r--r-- 2012-09-25 22:36 +0200 2567 T.thy
-rw-r--r-- 2012-09-25 22:36 +0200 1528 Washing.thy
-rw-r--r-- 2012-09-25 22:36 +0200 3278 modal.ML
-rw-r--r-- 2012-09-25 22:36 +0200 6246 prover.ML
-rw-r--r-- 2012-09-25 22:36 +0200 3578 simpdata.ML