Mon, 12 Jan 2009 22:16:35 -0800 | huffman | add lemmas poly_power, poly_roots_finite | changeset | files |
Mon, 12 Jan 2009 12:10:41 -0800 | huffman | declare dvd_minus_iff and minus_dvd_iff [iff] | changeset | files |
Mon, 12 Jan 2009 12:09:54 -0800 | huffman | new lemmas about synthetic_div; declare degree_pCons_eq_if [simp] | changeset | files |