/src/Modal/
drwxr-xr-x [up]
drwxr-xr-x ex
-rw-r--r-- 1993-10-17 18:03 +0100 1394 Makefile
-rw-r--r-- 1993-10-17 18:03 +0100 990 Modal0.thy
-rw-r--r-- 1993-10-17 18:03 +0100 767 README
-rw-r--r-- 1993-10-17 18:03 +0100 2151 ROOT.ML
-rw-r--r-- 1993-10-17 18:03 +0100 1033 S4.thy
-rw-r--r-- 1993-10-17 18:03 +0100 2937 S43.thy
-rw-r--r-- 1993-10-17 18:03 +0100 1028 T.thy
-rw-r--r-- 1993-10-17 18:03 +0100 990 modal0.thy
-rw-r--r-- 1993-10-17 18:03 +0100 3184 prover.ML
-rw-r--r-- 1993-10-17 18:03 +0100 1033 s4.thy
-rw-r--r-- 1993-10-17 18:03 +0100 2937 s43.thy
-rw-r--r-- 1993-10-17 18:03 +0100 1028 t.thy