| Wed, 20 May 2009 22:24:07 +0200 | haftmann | experimental values command | changeset | files |
| Wed, 20 May 2009 22:24:07 +0200 | haftmann | added Predicate.map | changeset | files |
| Wed, 20 May 2009 15:35:22 +0200 | haftmann | merged | changeset | files |
| Wed, 20 May 2009 15:35:13 +0200 | haftmann | tuned | changeset | files |
| Wed, 20 May 2009 15:35:13 +0200 | haftmann | adjusted to changes in Quickcheck.thy | changeset | files |
| Wed, 20 May 2009 15:35:12 +0200 | haftmann | eliminated case input syntax on bits | changeset | files |
| Wed, 20 May 2009 12:10:22 +0200 | haftmann | removed quickcheck generator for type copies temporarily | changeset | files |