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 |
Wed, 10 Mar 2010 16:53:27 +0100 | haftmann | split off theory Big_Operators from theory Finite_Set | changeset | files |