| Mon, 06 Dec 2010 10:52:46 +0100 | bulwahn | adding mutabelle as a component and an isabelle tool to be used in regression testing | changeset | files |
| 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 |