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