# HG changeset patch
# User wenzelm
# Date 1126025365 -7200
# Node ID bd49e10bbd24d8389082bbfb7724ca87db0e8938
# Parent  9888b0c8b2aafe281a012feb43ff96d74b745b4d
removed some ML files in Modelcheck/;

diff -r 9888b0c8b2aa -r bd49e10bbd24 src/HOL/IsaMakefile
--- a/src/HOL/IsaMakefile	Tue Sep 06 17:01:32 2005 +0200
+++ b/src/HOL/IsaMakefile	Tue Sep 06 18:49:25 2005 +0200
@@ -424,11 +424,9 @@
 HOL-Modelcheck: HOL $(LOG)/HOL-Modelcheck.gz
 
 $(LOG)/HOL-Modelcheck.gz: $(OUT)/HOL Modelcheck/CTL.thy \
-  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.thy Modelcheck/EindhovenSyn.ML \
+  Modelcheck/EindhovenSyn.thy Modelcheck/MuCalculus.thy \
+  Modelcheck/MuckeExample1.thy Modelcheck/MuckeExample2.thy \
   Modelcheck/MuckeSyn.ML Modelcheck/MuckeSyn.thy Modelcheck/ROOT.ML \
   Modelcheck/mucke_oracle.ML
 	@$(ISATOOL) usedir $(OUT)/HOL Modelcheck