src/HOL/Groebner_Basis.thy
2007-06-05 wenzelm 2007-06-05 Semiring normalization and Groebner Bases.