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