src/HOL/ex/MonoidGroup.thy
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;