| Mon, 06 Dec 2010 10:52:45 +0100 | bulwahn | commenting out sledgehammer_mtd in Mutabelle | changeset | files |
| Mon, 06 Dec 2010 10:52:45 +0100 | bulwahn | removing declaration in quickcheck to really enable exhaustive testing | changeset | files |
| Mon, 06 Dec 2010 10:52:44 +0100 | bulwahn | adding timeout to try invocation in mutabelle | changeset | files |
| Mon, 06 Dec 2010 10:52:43 +0100 | bulwahn | adding filtering, sytactic welltyping, and sledgehammer method in mutabelle | changeset | files |