Mon, 18 May 2009 15:45:42 +0200 | haftmann | added example on ML level | changeset | files |
Mon, 18 May 2009 15:45:38 +0200 | haftmann | added quickcheck support for numeric types | changeset | files |
Mon, 18 May 2009 15:45:36 +0200 | haftmann | generalized lemma map_of_zip_map | changeset | files |