src/HOL/Groebner_Basis.thy
changeset 30925 c38cbc0ac8d1
parent 30869 71fde5b7b43c
child 31017 2c227493ea56
     1.1 --- a/src/HOL/Groebner_Basis.thy	Wed Apr 15 15:30:38 2009 +0200
     1.2 +++ b/src/HOL/Groebner_Basis.thy	Wed Apr 15 15:30:39 2009 +0200
     1.3 @@ -5,7 +5,7 @@
     1.4  header {* Semiring normalization and Groebner Bases *}
     1.5  
     1.6  theory Groebner_Basis
     1.7 -imports NatBin
     1.8 +imports Nat_Numeral
     1.9  uses
    1.10    "Tools/Groebner_Basis/misc.ML"
    1.11    "Tools/Groebner_Basis/normalizer_data.ML"