Fri, 03 Dec 2010 08:40:47 +0100 | bulwahn | adding a nice definition of Id_on for quickcheck and nitpick | changeset | files |
Fri, 03 Dec 2010 08:40:47 +0100 | bulwahn | adding code equation for finiteness of finite types | changeset | files |
Fri, 03 Dec 2010 08:40:47 +0100 | bulwahn | improving sledgehammer_tactic and adding relevance filtering to the tactic | changeset | files |
Fri, 03 Dec 2010 08:40:47 +0100 | bulwahn | adapting mutabelle | changeset | files |
Fri, 03 Dec 2010 08:40:47 +0100 | bulwahn | adapting SML_Quickcheck to recent changes | changeset | files |
Fri, 03 Dec 2010 08:40:47 +0100 | bulwahn | explaining quickcheck testers in the documentation | changeset | files |