src/HOL/Boogie/Boogie.thy
changeset 45294 3c5d3d286055
parent 36899 bcd6fce5bf06
child 46950 d0181abdbdac
     1.1 --- a/src/HOL/Boogie/Boogie.thy	Fri Oct 28 23:16:50 2011 +0200
     1.2 +++ b/src/HOL/Boogie/Boogie.thy	Fri Oct 28 23:41:16 2011 +0200
     1.3 @@ -86,7 +86,7 @@
     1.4  ML {*
     1.5  structure Boogie_Axioms = Named_Thms
     1.6  (
     1.7 -  val name = "boogie"
     1.8 +  val name = @{binding boogie}
     1.9    val description =
    1.10      "Boogie background axioms loaded along with Boogie verification conditions"
    1.11  )