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