src/HOL/Groebner_Basis.thy
changeset 33296 a3924d1069e5
parent 31790 05c92381363c
child 33361 1f18de40b43f
     1.1 --- a/src/HOL/Groebner_Basis.thy	Wed Oct 28 17:44:03 2009 +0100
     1.2 +++ b/src/HOL/Groebner_Basis.thy	Wed Oct 28 19:09:47 2009 +0100
     1.3 @@ -5,7 +5,7 @@
     1.4  header {* Semiring normalization and Groebner Bases *}
     1.5  
     1.6  theory Groebner_Basis
     1.7 -imports Nat_Numeral
     1.8 +imports IntDiv
     1.9  uses
    1.10    "Tools/Groebner_Basis/misc.ML"
    1.11    "Tools/Groebner_Basis/normalizer_data.ML"