
diff -r 57def0b39696 -r 3c5d3d286055 src/HOL/Groebner_Basis.thy
--- a/src/HOL/Groebner_Basis.thy	Fri Oct 28 23:16:50 2011 +0200
+++ b/src/HOL/Groebner_Basis.thy	Fri Oct 28 23:41:16 2011 +0200
@@ -32,8 +32,9 @@
   by auto
 
 ML {*
-structure Algebra_Simplification = Named_Thms(
-  val name = "algebra"
+structure Algebra_Simplification = Named_Thms
+(
+  val name = @{binding algebra}
   val description = "pre-simplification rules for algebraic methods"
 )
 *}




