--- 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