src/HOL/Groebner_Basis.thy
changeset 33361 1f18de40b43f
parent 33296 a3924d1069e5
child 34974 18b41bba42b5
     1.1 --- a/src/HOL/Groebner_Basis.thy	Fri Oct 30 13:59:52 2009 +0100
     1.2 +++ b/src/HOL/Groebner_Basis.thy	Fri Oct 30 14:00:43 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 IntDiv
     1.8 +imports Numeral_Simprocs
     1.9  uses
    1.10    "Tools/Groebner_Basis/misc.ML"
    1.11    "Tools/Groebner_Basis/normalizer_data.ML"