--- a/src/HOL/Boogie/Examples/Boogie_Max_Stepwise.thy Thu Aug 23 14:58:42 2012 +0200
+++ b/src/HOL/Boogie/Examples/Boogie_Max_Stepwise.thy Thu Aug 23 15:06:15 2012 +0200
@@ -6,7 +6,6 @@
theory Boogie_Max_Stepwise
imports Boogie
-uses ("Boogie_Max.b2i")
begin
text {*