Wed, 20 May 2009 22:24:07 +0200 | haftmann | fixed typo | changeset | files |
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 |