src/ZF/ex/Group.thy
2006-06-20 ballarin 2006-06-20 Restructured locales with predicates: import is now an interpretation. New method intro_locales.
2005-06-17 haftmann 2005-06-17 migrated theory headers to new format
2004-06-09 paulson 2004-06-09 fixed the groupI ambiguity
2004-06-08 paulson 2004-06-08 Groups, Rings and supporting lemmas