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