/src/HOL/Modelcheck/
drwxr-xr-x [up]
-rw-r--r-- 2005-06-28 15:27 +0200 420 CTL.thy
-rw-r--r-- 2005-06-28 15:27 +0200 698 EindhovenExample.ML
-rw-r--r-- 2005-06-28 15:27 +0200 718 EindhovenExample.thy
-rw-r--r-- 2005-06-28 15:27 +0200 1165 EindhovenSyn.ML
-rw-r--r-- 2005-06-28 15:27 +0200 1962 EindhovenSyn.thy
-rw-r--r-- 2005-06-28 15:27 +0200 851 MuCalculus.ML
-rw-r--r-- 2005-06-28 15:27 +0200 691 MuCalculus.thy
-rw-r--r-- 2005-06-28 15:27 +0200 436 MuckeExample1.ML
-rw-r--r-- 2005-06-28 15:27 +0200 769 MuckeExample1.thy
-rw-r--r-- 2005-06-28 15:27 +0200 490 MuckeExample2.ML
-rw-r--r-- 2005-06-28 15:27 +0200 508 MuckeExample2.thy
-rw-r--r-- 2005-06-28 15:27 +0200 5769 MuckeSyn.ML
-rw-r--r-- 2005-06-28 15:27 +0200 3070 MuckeSyn.thy
-rw-r--r-- 2005-06-28 15:27 +0200 1402 README.html
-rw-r--r-- 2005-06-28 15:27 +0200 518 ROOT.ML
-rw-r--r-- 2005-06-28 15:27 +0200 38660 mucke_oracle.ML