/src/Modal/
drwxr-xr-x [up]
drwxr-xr-x ex
-rw-r--r-- 1995-01-12 03:00 +0100 1562 Makefile
-rw-r--r-- 1995-01-12 03:00 +0100 990 Modal0.thy
-rw-r--r-- 1995-01-12 03:00 +0100 768 README
-rw-r--r-- 1995-01-12 03:00 +0100 2151 ROOT.ML
-rw-r--r-- 1995-01-12 03:00 +0100 1026 S4.thy
-rw-r--r-- 1995-01-12 03:00 +0100 2937 S43.thy
-rw-r--r-- 1995-01-12 03:00 +0100 1028 T.thy
-rw-r--r-- 1995-01-12 03:00 +0100 990 modal0.thy
-rw-r--r-- 1995-01-12 03:00 +0100 3184 prover.ML
-rw-r--r-- 1995-01-12 03:00 +0100 1026 s4.thy
-rw-r--r-- 1995-01-12 03:00 +0100 2937 s43.thy
-rw-r--r-- 1995-01-12 03:00 +0100 1028 t.thy