/src/HOL/Modelcheck/
drwxr-xr-x [up]
-rw-r--r-- 2005-03-07 19:30 +0100 420 CTL.thy
-rw-r--r-- 2005-03-07 19:30 +0100 698 EindhovenExample.ML
-rw-r--r-- 2005-03-07 19:30 +0100 718 EindhovenExample.thy
-rw-r--r-- 2005-03-07 19:30 +0100 1165 EindhovenSyn.ML
-rw-r--r-- 2005-03-07 19:30 +0100 1962 EindhovenSyn.thy
-rw-r--r-- 2005-03-07 19:30 +0100 851 MuCalculus.ML
-rw-r--r-- 2005-03-07 19:30 +0100 691 MuCalculus.thy
-rw-r--r-- 2005-03-07 19:30 +0100 436 MuckeExample1.ML
-rw-r--r-- 2005-03-07 19:30 +0100 769 MuckeExample1.thy
-rw-r--r-- 2005-03-07 19:30 +0100 490 MuckeExample2.ML
-rw-r--r-- 2005-03-07 19:30 +0100 508 MuckeExample2.thy
-rw-r--r-- 2005-03-07 19:30 +0100 5788 MuckeSyn.ML
-rw-r--r-- 2005-03-07 19:30 +0100 3070 MuckeSyn.thy
-rw-r--r-- 2005-03-07 19:30 +0100 1402 README.html
-rw-r--r-- 2005-03-07 19:30 +0100 518 ROOT.ML
-rw-r--r-- 2005-03-07 19:30 +0100 38683 mucke_oracle.ML