| 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 |
| Wed, 01 Jun 2011 21:50:49 +0200 | nipkow | Removed old IMP files | changeset | files |
| Wed, 01 Jun 2011 21:35:34 +0200 | nipkow | Replacing old IMP with new Semantics material | changeset | files |