Thu, 11 Mar 2010 14:38:13 +0100 | haftmann | moved cardinality to Finite_Set as far as appropriate; added locales for fold_image | changeset | files |
Thu, 11 Mar 2010 14:38:09 +0100 | haftmann | fixed typo | changeset | files |
Wed, 10 Mar 2010 16:53:43 +0100 | haftmann | added locales for monoids | changeset | files |