/src/HOL/Modelcheck/
drwxr-xr-x [up]
-rw-r--r-- 2004-08-18 11:09 +0200 420 CTL.thy
-rw-r--r-- 2004-08-18 11:09 +0200 698 EindhovenExample.ML
-rw-r--r-- 2004-08-18 11:09 +0200 718 EindhovenExample.thy
-rw-r--r-- 2004-08-18 11:09 +0200 1157 EindhovenSyn.ML
-rw-r--r-- 2004-08-18 11:09 +0200 1962 EindhovenSyn.thy
-rw-r--r-- 2004-08-18 11:09 +0200 851 MuCalculus.ML
-rw-r--r-- 2004-08-18 11:09 +0200 691 MuCalculus.thy
-rw-r--r-- 2004-08-18 11:09 +0200 436 MuckeExample1.ML
-rw-r--r-- 2004-08-18 11:09 +0200 769 MuckeExample1.thy
-rw-r--r-- 2004-08-18 11:09 +0200 490 MuckeExample2.ML
-rw-r--r-- 2004-08-18 11:09 +0200 508 MuckeExample2.thy
-rw-r--r-- 2004-08-18 11:09 +0200 5760 MuckeSyn.ML
-rw-r--r-- 2004-08-18 11:09 +0200 3070 MuckeSyn.thy
-rw-r--r-- 2004-08-18 11:09 +0200 1219 README.html
-rw-r--r-- 2004-08-18 11:09 +0200 518 ROOT.ML
-rw-r--r-- 2004-08-18 11:09 +0200 38664 mucke_oracle.ML