| changeset 30654 | 254478a8dd05 |
| parent 30549 | d2d7874648bd |
| child 30729 | 461ee3e49ad3 |
--- a/src/HOL/Groebner_Basis.thy Sun Mar 22 20:46:11 2009 +0100 +++ b/src/HOL/Groebner_Basis.thy Sun Mar 22 20:46:11 2009 +0100 @@ -5,7 +5,7 @@ header {* Semiring normalization and Groebner Bases *} theory Groebner_Basis -imports Arith_Tools +imports NatBin uses "Tools/Groebner_Basis/misc.ML" "Tools/Groebner_Basis/normalizer_data.ML"