src/HOL/Groups_List.thy
Sun, 02 Nov 2014 18:21:45 +0100 wenzelm modernized header uniformly as section;
Thu, 18 Sep 2014 15:07:43 +0200 haftmann product over monoids for lists
Thu, 11 Sep 2014 23:12:32 +0200 haftmann abstract product over monoid for lists
Wed, 03 Sep 2014 00:06:24 +0200 blanchet use 'datatype_new' in 'Main'
Sun, 31 Aug 2014 09:10:42 +0200 haftmann separated listsum material
less more (0) tip