src/HOL/Decision_Procs/Reflected_Multivariate_Polynomial.thy
2009-10-25 chaieb 2009-10-25 Multivariate polynomials library over fields