src/HOL/Groebner_Basis.thy
changeset 30654 254478a8dd05
parent 30549 d2d7874648bd
child 30729 461ee3e49ad3
     1.1 --- a/src/HOL/Groebner_Basis.thy	Sun Mar 22 20:46:11 2009 +0100
     1.2 +++ b/src/HOL/Groebner_Basis.thy	Sun Mar 22 20:46:11 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 Arith_Tools
     1.8 +imports NatBin
     1.9  uses
    1.10    "Tools/Groebner_Basis/misc.ML"
    1.11    "Tools/Groebner_Basis/normalizer_data.ML"