/src/Modal/
drwxr-xr-x [up]
drwxr-xr-x ex
-rw-r--r-- 1994-06-21 17:20 +0200 1468 Makefile
-rw-r--r-- 1994-06-21 17:20 +0200 990 Modal0.thy
-rw-r--r-- 1994-06-21 17:20 +0200 767 README
-rw-r--r-- 1994-06-21 17:20 +0200 2151 ROOT.ML
-rw-r--r-- 1994-06-21 17:20 +0200 1026 S4.thy
-rw-r--r-- 1994-06-21 17:20 +0200 2937 S43.thy
-rw-r--r-- 1994-06-21 17:20 +0200 1028 T.thy
-rw-r--r-- 1994-06-21 17:20 +0200 990 modal0.thy
-rw-r--r-- 1994-06-21 17:20 +0200 3184 prover.ML
-rw-r--r-- 1994-06-21 17:20 +0200 1026 s4.thy
-rw-r--r-- 1994-06-21 17:20 +0200 2937 s43.thy
-rw-r--r-- 1994-06-21 17:20 +0200 1028 t.thy