/src/HOL/Modelcheck/
drwxr-xr-x [up]
-rw-r--r-- 1999-09-23 13:06 +0200 420 CTL.thy
-rw-r--r-- 1999-09-23 13:06 +0200 698 EindhovenExample.ML
-rw-r--r-- 1999-09-23 13:06 +0200 718 EindhovenExample.thy
-rw-r--r-- 1999-09-23 13:06 +0200 1221 EindhovenSyn.ML
-rw-r--r-- 1999-09-23 13:06 +0200 1962 EindhovenSyn.thy
-rw-r--r-- 1999-09-23 13:06 +0200 855 MuCalculus.ML
-rw-r--r-- 1999-09-23 13:06 +0200 691 MuCalculus.thy
-rw-r--r-- 1999-09-23 13:06 +0200 436 MuckeExample1.ML
-rw-r--r-- 1999-09-23 13:06 +0200 769 MuckeExample1.thy
-rw-r--r-- 1999-09-23 13:06 +0200 490 MuckeExample2.ML
-rw-r--r-- 1999-09-23 13:06 +0200 508 MuckeExample2.thy
-rw-r--r-- 1999-09-23 13:06 +0200 5791 MuckeSyn.ML
-rw-r--r-- 1999-09-23 13:06 +0200 3082 MuckeSyn.thy
-rw-r--r-- 1999-09-23 13:06 +0200 1406 README.html
-rw-r--r-- 1999-09-23 13:06 +0200 483 ROOT.ML
-rw-r--r-- 1999-09-23 13:06 +0200 38664 mucke_oracle.ML