| Thu, 02 Jun 2011 10:13:46 +0200 | bulwahn | adding quickcheck narrowing to mutabelle script; deactivating nitpick in mutabelle script momentarily because we are not monitoring the results effectively | changeset | files |
| 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 |
| Wed, 01 Jun 2011 23:08:04 +0200 | nipkow | merged | changeset | files |
| Wed, 01 Jun 2011 22:47:26 +0200 | nipkow | Made comments text | changeset | files |
| Wed, 01 Jun 2011 22:42:37 +0200 | nipkow | Fixed denotational semantics | changeset | files |