Thu, 26 Mar 2009 11:33:50 -0700 | huffman | parameterize assoc_fold with is_numeral predicate | changeset | files |
Thu, 26 Mar 2009 14:30:20 +0000 | paulson | merged | changeset | files |
Thu, 26 Mar 2009 14:10:48 +0000 | paulson | New theorems mostly concerning infinite series. | changeset | files |