src/HOL/Decision_Procs/Reflected_Multivariate_Polynomial.thy
2010-02-08 haftmann 2010-02-08 tuned header
2010-01-10 berghofe 2010-01-10 Adapted to changes in induct method.
2009-10-28 wenzelm 2009-10-28 eliminated hard tabulators, guessing at each author's individual tab-width;
2009-10-25 chaieb 2009-10-25 Multivariate polynomials library over fields