Thu, 26 Feb 2009 11:17:38 -0800 | huffman | avoid using legacy type inference | changeset | files |
Thu, 26 Feb 2009 10:28:53 -0800 | huffman | use TheoryData to keep track of pattern match combinators | changeset | files |
Thu, 26 Feb 2009 08:48:33 -0800 | huffman | merged | changeset | files |
Thu, 26 Feb 2009 08:44:44 -0800 | huffman | remove unnecessary simp rules | changeset | files |
Thu, 26 Feb 2009 08:44:12 -0800 | huffman | revert some Suc 0 lemmas back to their original forms; added some simp rules for (1::nat) | changeset | files |
Thu, 26 Feb 2009 22:13:01 +0100 | wenzelm | merged | changeset | files |