/src/HOL/Modelcheck/
drwxr-xr-x [up]
-rw-r--r-- 2001-10-26 23:58 +0200 420 CTL.thy
-rw-r--r-- 2001-10-26 23:58 +0200 698 EindhovenExample.ML
-rw-r--r-- 2001-10-26 23:58 +0200 718 EindhovenExample.thy
-rw-r--r-- 2001-10-26 23:58 +0200 1221 EindhovenSyn.ML
-rw-r--r-- 2001-10-26 23:58 +0200 1962 EindhovenSyn.thy
-rw-r--r-- 2001-10-26 23:58 +0200 855 MuCalculus.ML
-rw-r--r-- 2001-10-26 23:58 +0200 691 MuCalculus.thy
-rw-r--r-- 2001-10-26 23:58 +0200 436 MuckeExample1.ML
-rw-r--r-- 2001-10-26 23:58 +0200 769 MuckeExample1.thy
-rw-r--r-- 2001-10-26 23:58 +0200 490 MuckeExample2.ML
-rw-r--r-- 2001-10-26 23:58 +0200 508 MuckeExample2.thy
-rw-r--r-- 2001-10-26 23:58 +0200 5806 MuckeSyn.ML
-rw-r--r-- 2001-10-26 23:58 +0200 3080 MuckeSyn.thy
-rw-r--r-- 2001-10-26 23:58 +0200 1219 README.html
-rw-r--r-- 2001-10-26 23:58 +0200 518 ROOT.ML
-rw-r--r-- 2001-10-26 23:58 +0200 38664 mucke_oracle.ML