/src/Sequents/
drwxr-xr-x [up]
drwxr-xr-x LK
-rw-r--r-- 2012-03-19 21:10 +0100 7998 ILL.thy
-rw-r--r-- 2012-03-19 21:10 +0100 2719 ILL_predlog.thy
-rw-r--r-- 2012-03-19 21:10 +0100 857 IsaMakefile
-rw-r--r-- 2012-03-19 21:10 +0100 7507 LK.thy
-rw-r--r-- 2012-03-19 21:10 +0100 9596 LK0.thy
-rw-r--r-- 2012-03-19 21:10 +0100 1593 Modal0.thy
-rw-r--r-- 2012-03-19 21:10 +0100 1474 README.html
-rw-r--r-- 2012-03-19 21:10 +0100 291 ROOT.ML
-rw-r--r-- 2012-03-19 21:10 +0100 3852 S4.thy
-rw-r--r-- 2012-03-19 21:10 +0100 7815 S43.thy
-rw-r--r-- 2012-03-19 21:10 +0100 4311 Sequents.thy
-rw-r--r-- 2012-03-19 21:10 +0100 2567 T.thy
-rw-r--r-- 2012-03-19 21:10 +0100 1528 Washing.thy
-rw-r--r-- 2012-03-19 21:10 +0100 3278 modal.ML
-rw-r--r-- 2012-03-19 21:10 +0100 6246 prover.ML
-rw-r--r-- 2012-03-19 21:10 +0100 3578 simpdata.ML