# HG changeset patch
# User boehmes
# Date 1260542165 -3600
# Node ID c1fd26512f6d1c91a6c0821491946a1edb528045
# Parent  a78307d72e58da3779841eb082eee0f690588940
updated dependencies

diff -r a78307d72e58 -r c1fd26512f6d src/HOL/IsaMakefile
--- 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