src/HOL/IsaMakefile
changeset 34069 c1fd26512f6d
parent 34067 a03f3f9874f6
child 34126 8a2c5d7aff51
--- a/src/HOL/IsaMakefile	Fri Dec 11 15:35:29 2009 +0100
+++ b/src/HOL/IsaMakefile	Fri Dec 11 15:36:05 2009 +0100
@@ -1389,7 +1389,7 @@
 
 $(OUT)/HOL-Boogie: $(OUT)/HOL-SMT Boogie/ROOT.ML Boogie/Boogie.thy	\
   Boogie/Tools/boogie_vcs.ML Boogie/Tools/boogie_loader.ML		\
-  Boogie/Tools/boogie_commands.ML Boogie/Tools/boogie_split.ML
+  Boogie/Tools/boogie_commands.ML Boogie/Tools/boogie_tactics.ML
 	@cd Boogie; $(ISABELLE_TOOL) usedir -b -g true $(OUT)/HOL-SMT HOL-Boogie
 
 
@@ -1406,7 +1406,8 @@
   Boogie/Examples/cert/Boogie_Dijkstra					\
   Boogie/Examples/cert/Boogie_Dijkstra.proof				\
   Boogie/Examples/cert/VCC_maximum					\
-  Boogie/Examples/cert/VCC_maximum.proof
+  Boogie/Examples/cert/VCC_maximum.proof				\
+  Boogie/Examples/Boogie_Max_Stepwise.thy
 	@cd Boogie; $(ISABELLE_TOOL) usedir $(OUT)/HOL-Boogie Examples