/src/Sequents/
drwxr-xr-x [up]
drwxr-xr-x LK
-rw-r--r-- 2013-07-02 20:47 +0200 8132 ILL.thy
-rw-r--r-- 2013-07-02 20:47 +0200 2719 ILL_predlog.thy
-rw-r--r-- 2013-07-02 20:47 +0200 7514 LK.thy
-rw-r--r-- 2013-07-02 20:47 +0200 9787 LK0.thy
-rw-r--r-- 2013-07-02 20:47 +0200 1613 Modal0.thy
-rw-r--r-- 2013-07-02 20:47 +0200 1612 ROOT
-rw-r--r-- 2013-07-02 20:47 +0200 3902 S4.thy
-rw-r--r-- 2013-07-02 20:47 +0200 7881 S43.thy
-rw-r--r-- 2013-07-02 20:47 +0200 4298 Sequents.thy
-rw-r--r-- 2013-07-02 20:47 +0200 2617 T.thy
-rw-r--r-- 2013-07-02 20:47 +0200 1570 Washing.thy
-rw-r--r-- 2013-07-02 20:47 +0200 3278 modal.ML
-rw-r--r-- 2013-07-02 20:47 +0200 6246 prover.ML
-rw-r--r-- 2013-07-02 20:47 +0200 3601 simpdata.ML