Fri, 19 Aug 2011 08:40:15 -0700 | huffman | remove unused lemmas | changeset | files |
Fri, 19 Aug 2011 08:39:43 -0700 | huffman | fold definitions of sin_coeff and cos_coeff in Maclaurin lemmas | changeset | files |
Fri, 19 Aug 2011 07:45:22 -0700 | huffman | remove some redundant simp rules | changeset | files |