Thu, 02 Jun 2011 09:51:40 +0200 | bulwahn | adding invocation of exhaustive testing without using finite types to mutabelle | changeset | files |
Thu, 02 Jun 2011 09:51:40 +0200 | bulwahn | moving the distinction between invocation of testers and generators into test_goal_terms function in quickcheck for its usage with mutabelle | changeset | files |
Thu, 02 Jun 2011 08:55:08 +0200 | bulwahn | splitting Dlist theory in Dlist and Dlist_Cset | changeset | files |