2010-12-06 | bulwahn | correcting usage documentation in mirabelle tool | changeset | files |
2010-12-06 | bulwahn | adding mutabelle as a component and an isabelle tool to be used in regression testing | changeset | files |
2010-12-06 | bulwahn | commenting out sledgehammer_mtd in Mutabelle | changeset | files |
2010-12-06 | bulwahn | removing declaration in quickcheck to really enable exhaustive testing | changeset | files |
Loading... |