src/HOL/Groebner_Basis.thy
changeset 36714 ae84ddf03c58
parent 36712 2f4c318861b3
child 36716 b09f3ad3208f
     1.1 --- a/src/HOL/Groebner_Basis.thy	Thu May 06 17:55:12 2010 +0200
     1.2 +++ b/src/HOL/Groebner_Basis.thy	Thu May 06 17:59:19 2010 +0200
     1.3 @@ -589,8 +589,6 @@
     1.4  end
     1.5  *}
     1.6  
     1.7 -lemmas comp_arith = semiring_norm (*FIXME*)
     1.8 -
     1.9  
    1.10  subsection {* Groebner Bases *}
    1.11