src/HOL/ex/MonoidGroup.thy
Mon, 30 Oct 2000 18:24:42 +0100 wenzelm tuned;
Thu, 13 Jul 2000 11:41:40 +0200 wenzelm tuned;
Fri, 07 Jul 2000 18:27:47 +0200 nipkow added type classes to constant's type
Fri, 24 Jul 1998 17:55:57 +0200 wenzelm added ex/MonoidGroups (record example);
less more (0) tip