/src/Modal/
drwxr-xr-x [up]
drwxr-xr-x ex
-rw-r--r-- 1993-09-16 12:20 +0200 1394 Makefile
-rw-r--r-- 1993-09-16 12:20 +0200 990 Modal0.thy
-rw-r--r-- 1993-09-16 12:20 +0200 767 README
-rw-r--r-- 1993-09-16 12:20 +0200 2151 ROOT.ML
-rw-r--r-- 1993-09-16 12:20 +0200 1033 S4.thy
-rw-r--r-- 1993-09-16 12:20 +0200 2937 S43.thy
-rw-r--r-- 1993-09-16 12:20 +0200 1028 T.thy
-rw-r--r-- 1993-09-16 12:20 +0200 990 modal0.thy
-rw-r--r-- 1993-09-16 12:20 +0200 3184 prover.ML
-rw-r--r-- 1993-09-16 12:20 +0200 1033 s4.thy
-rw-r--r-- 1993-09-16 12:20 +0200 2937 s43.thy
-rw-r--r-- 1993-09-16 12:20 +0200 1028 t.thy