| Fri, 27 Feb 2009 11:43:24 +0100 | wenzelm | even less default memory for sunbroy2; | changeset | files |
| Fri, 27 Feb 2009 09:56:18 +0100 | boehmes | merged | changeset | files |
| Fri, 27 Feb 2009 08:12:38 +0100 | boehmes | merged | changeset | files |
| Thu, 26 Feb 2009 18:00:08 +0100 | boehmes | Made then_conv and else_conv available as infix operations. | changeset | files |
| Fri, 27 Feb 2009 09:01:05 +0100 | haftmann | merged | changeset | files |
| Fri, 27 Feb 2009 08:59:11 +0100 | haftmann | fixed typo | changeset | files |
| Thu, 26 Feb 2009 15:27:18 -0800 | huffman | merged | changeset | files |
| 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 |
| 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 |