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