src/HOL/Groebner_Basis.thy
changeset 23266 50f0a4f12ed3
parent 23258 9062e98fdab1
child 23312 6e32a5bfc30f
     1.1 --- a/src/HOL/Groebner_Basis.thy	Tue Jun 05 20:46:25 2007 +0200
     1.2 +++ b/src/HOL/Groebner_Basis.thy	Tue Jun 05 22:46:53 2007 +0200
     1.3 @@ -259,7 +259,7 @@
     1.4  *} "Semiring_normalizer"
     1.5  
     1.6  
     1.7 -subsection {* Gröbner Bases *}
     1.8 +subsection {* Groebner Bases *}
     1.9  
    1.10  locale semiringb = gb_semiring +
    1.11    assumes add_cancel: "add (x::'a) y = add x z \<longleftrightarrow> y = z"