# HG changeset patch
# User wenzelm
# Date 924778027 -7200
# Node ID 9641c5abced25db4ab4ea96c9375caa7731b24bc
# Parent  7411f5d6bad7f48a96cb5271cdacba6f946b195b
tuned;

diff -r 7411f5d6bad7 -r 9641c5abced2 src/HOL/IsaMakefile
--- a/src/HOL/IsaMakefile	Thu Apr 22 12:42:14 1999 +0200
+++ b/src/HOL/IsaMakefile	Thu Apr 22 12:47:07 1999 +0200
@@ -185,12 +185,13 @@
 HOL-Modelcheck: HOL $(LOG)/HOL-Modelcheck.gz
 
 $(LOG)/HOL-Modelcheck.gz: $(OUT)/HOL Modelcheck/CTL.thy \
-  Modelcheck/MuckeExample1.ML Modelcheck/MuckeExample1.thy Modelcheck/MuckeSyn.ML \
+  Modelcheck/EindhovenExample.ML Modelcheck/EindhovenExample.thy \
+  Modelcheck/EindhovenSyn.ML Modelcheck/EindhovenSyn.thy \
+  Modelcheck/MuCalculus.ML Modelcheck/MuCalculus.thy \
+  Modelcheck/MuckeExample1.ML Modelcheck/MuckeExample1.thy \
   Modelcheck/MuckeExample2.ML Modelcheck/MuckeExample2.thy \
-  Modelcheck/EindhovenExample.ML Modelcheck/EindhovenExample.thy \
-  Modelcheck/mucke_oracle.ML \
-  Modelcheck/MuckeSyn.thy Modelcheck/EindhovenSyn.ML Modelcheck/MuCalculus.ML	\
-  Modelcheck/MuCalculus.thy Modelcheck/EindhovenSyn.thy Modelcheck/ROOT.ML
+  Modelcheck/MuckeSyn.ML Modelcheck/MuckeSyn.thy Modelcheck/ROOT.ML \
+  Modelcheck/mucke_oracle.ML
 	@$(ISATOOL) usedir $(OUT)/HOL Modelcheck