| 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 |