src/HOL/Groebner_Basis.thy
2007-06-11 chaieb 2007-06-11 explicitely depends on file groebner.ML
2007-06-05 wenzelm 2007-06-05 tuned document;
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.