/src/Modal/
drwxr-xr-x [up]
drwxr-xr-x ex
-rw-r--r-- 1996-04-30 11:08 +0200 2624 Makefile
-rw-r--r-- 1996-04-30 11:08 +0200 1051 Modal0.thy
-rw-r--r-- 1996-04-30 11:08 +0200 768 README
-rw-r--r-- 1996-04-30 11:08 +0200 903 README.html
-rw-r--r-- 1996-04-30 11:08 +0200 2132 ROOT.ML
-rw-r--r-- 1996-04-30 11:08 +0200 1029 S4.thy
-rw-r--r-- 1996-04-30 11:08 +0200 2970 S43.thy
-rw-r--r-- 1996-04-30 11:08 +0200 1031 T.thy
-rw-r--r-- 1996-04-30 11:08 +0200 990 modal0.thy
-rw-r--r-- 1996-04-30 11:08 +0200 3226 prover.ML
-rw-r--r-- 1996-04-30 11:08 +0200 1026 s4.thy
-rw-r--r-- 1996-04-30 11:08 +0200 2937 s43.thy
-rw-r--r-- 1996-04-30 11:08 +0200 1028 t.thy