| Thu, 20 Oct 2011 10:44:00 +0200 | nipkow | merged | changeset | files |
| Thu, 20 Oct 2011 10:43:47 +0200 | nipkow | tuned | changeset | files |
| Thu, 20 Oct 2011 09:59:12 +0200 | bulwahn | merged | changeset | files |
| Thu, 20 Oct 2011 09:11:13 +0200 | bulwahn | modernizing predicate_compile_quickcheck | changeset | files |
| Thu, 20 Oct 2011 08:20:35 +0200 | bulwahn | adding depth as an quickcheck configuration | changeset | files |
| Thu, 20 Oct 2011 09:48:00 +0200 | nipkow | renamed name -> vname | changeset | files |
| Wed, 19 Oct 2011 23:07:48 +0200 | haftmann | removed some remaining artefacts of ancient SML code generator | changeset | files |
| Wed, 19 Oct 2011 22:54:26 +0200 | haftmann | NEWS | changeset | files |
| Wed, 19 Oct 2011 21:40:32 +0200 | blanchet | cleaner LEO-II extensionality step detection | changeset | files |
| Wed, 19 Oct 2011 21:40:32 +0200 | blanchet | marginally cleaner proof parsing, that doesn't stumble upon LEO-II's E-step proofs | changeset | files |
| Wed, 19 Oct 2011 21:40:32 +0200 | blanchet | one more LEO-II failure | changeset | files |
| Wed, 19 Oct 2011 19:45:19 +0200 | wenzelm | merged | changeset | files |
| Wed, 19 Oct 2011 17:45:25 +0200 | huffman | merged | changeset | files |
| Tue, 18 Oct 2011 15:19:06 +0200 | huffman | hide typedef-generated constants Product_Type.prod and Sum_Type.sum | changeset | files |
| Wed, 19 Oct 2011 16:36:13 +0200 | blanchet | more uniform SZS status handling | changeset | files |