src/HOL/ex/Groebner_Examples.thy
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.