src/HOL/Boogie/Boogie.thy

--- a/src/HOL/Boogie/Boogie.thy	Fri Oct 28 23:16:50 2011 +0200
+++ b/src/HOL/Boogie/Boogie.thy	Fri Oct 28 23:41:16 2011 +0200
@@ -86,7 +86,7 @@
 ML {*
 structure Boogie_Axioms = Named_Thms
 (
-  val name = "boogie"
+  val name = @{binding boogie}
   val description =
     "Boogie background axioms loaded along with Boogie verification conditions"
 )