src/HOL/ex/Groebner_Examples.thy
2014-01-22 wenzelm 2014-01-22 removed junk;
2014-01-21 traytel 2014-01-21 compile
2013-08-18 wenzelm 2013-08-18 more symbols;
2013-08-13 wenzelm 2013-08-13 standardized symbols via "isabelle update_sub_sup", excluding src/Pure and src/Tools/WWW_Find;
2012-03-25 huffman 2012-03-25 merged fork with new numeral representation (see NEWS)
2011-04-23 wenzelm 2011-04-23 modernized specifications;
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.