src/HOL/Groebner_Basis.thy
2007-06-05 wenzelm 2007-06-05 renamed locale ring/semiring to gb_ring/gb_semiring to avoid clash with Ring_and_Field versions;
2007-06-05 wenzelm 2007-06-05 Semiring normalization and Groebner Bases.