isabelle: File revisions

src/HOL/ex/MonoidGroup.thy

2014-11-02	wenzelm	2014-11-02	modernized header uniformly as section;	file \| diff \| annotate
2011-01-07	bulwahn	2011-01-07	removing obselete Id comments from HOL/ex theories	file \| diff \| annotate
2006-11-17	wenzelm	2006-11-17	more robust syntax for definition/abbreviation/notation;	file \| diff \| annotate
2006-05-27	wenzelm	2006-05-27	tuned;	file \| diff \| annotate
2005-09-14	wenzelm	2005-09-14	tuned headers etc.;	file \| diff \| annotate
2005-06-17	haftmann	2005-06-17	migrated theory headers to new format	file \| diff \| annotate
2004-06-21	kleing	2004-06-21	Merged in license change from Isabelle2004	file \| diff \| annotate
2001-10-25	wenzelm	2001-10-25	updated records;	file \| diff \| annotate
2001-02-01	wenzelm	2001-02-01	tuned;	file \| diff \| annotate
2000-10-30	wenzelm	2000-10-30	tuned;	file \| diff \| annotate
2000-07-13	wenzelm	2000-07-13	tuned;	file \| diff \| annotate
2000-07-07	nipkow	2000-07-07	added type classes to constant's type	file \| diff \| annotate
1998-07-24	wenzelm	1998-07-24	added ex/MonoidGroups (record example); moved Bin and String examples to ex;	file \| diff \| annotate

isabelle