src/ZF/ex/Group.thy
2008-12-11 ballarin 2008-12-11 Conversion of HOL-Main and ZF to new locales.
2008-07-16 ballarin 2008-07-16 Removed uses of context element includes.
2008-03-05 wenzelm 2008-03-05 explicit referencing of background facts;
2007-05-11 wenzelm 2007-05-11 tuned proofs;
2006-11-17 wenzelm 2006-11-17 more robust syntax for definition/abbreviation/notation;
2006-11-07 wenzelm 2006-11-07 tuned specifications;
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