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