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 |
Mon, 06 Dec 2010 10:52:43 +0100 | bulwahn | adding filtering, sytactic welltyping, and sledgehammer method in mutabelle | changeset | files |
Mon, 06 Dec 2010 09:34:57 +0100 | haftmann | replace `type_mapper` by the more adequate `type_lifting` | changeset | files |
Mon, 06 Dec 2010 09:25:05 +0100 | haftmann | moved bootstrap of type_lifting to Fun | changeset | files |