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 |
Thu, 26 Mar 2009 20:08:55 +0100 | wenzelm | interpretation/interpret: prefixes are mandatory by default; | changeset | files |
Thu, 26 Mar 2009 19:24:21 +0100 | wenzelm | interpretation/interpret: prefixes are mandatory by default; | changeset | files |
Thu, 26 Mar 2009 19:00:29 +0100 | wenzelm | interpretation/interpret: prefixes within locale expression are mandatory by default; | changeset | files |