src/HOL/ex/Groebner_Examples.thy
2010-05-07 haftmann 2010-05-07 renamed Normalizer to the more specific Semiring_Normalizer
2010-05-06 haftmann 2010-05-06 xsymbolized
2010-05-06 haftmann 2010-05-06 dropped duplicate comp_arith
2010-05-06 haftmann 2010-05-06 dropped auxiliary method sring_norm; integrated normalizer.ML and normalizer_data.ML
2010-04-23 wenzelm 2010-04-23 mark schematic statements explicitly;
2009-04-29 haftmann 2009-04-29 farewell to class recpower
2008-03-18 wenzelm 2008-03-18 tuned proof;
2007-10-31 chaieb 2007-10-31 Added example for the ideal membership problem solved by algebra
2007-07-05 wenzelm 2007-07-05 tuned;
2007-06-12 chaieb 2007-06-12 Tuned proofs : now use 'algebra ad: ...'
2007-06-11 nipkow 2007-06-11 nex example
2007-06-05 wenzelm 2007-06-05 Groebner Basis Examples.