| changeset 23312 | 6e32a5bfc30f |
| parent 23266 | 50f0a4f12ed3 |
| child 23327 | 1654013ec97c |
--- a/src/HOL/Groebner_Basis.thy Mon Jun 11 11:05:56 2007 +0200 +++ b/src/HOL/Groebner_Basis.thy Mon Jun 11 11:05:57 2007 +0200 @@ -11,6 +11,7 @@ "Tools/Groebner_Basis/misc.ML" "Tools/Groebner_Basis/normalizer_data.ML" ("Tools/Groebner_Basis/normalizer.ML") + ("Tools/Groebner_Basis/groebner.ML") begin subsection {* Semiring normalization *}