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 |
Thu, 26 Feb 2009 22:12:41 +0100 | wenzelm | back to canonical ROOT, to see if memory problems still persist; | changeset | files |
Fri, 27 Feb 2009 07:40:25 +1100 | kleing | trying less default memory for sunbroy2 test | changeset | files |