src/HOL/Groups_List.thy
2015-03-17 nipkow 2015-03-17 added lemmas
2014-11-13 nipkow 2014-11-13 added lemma
2014-11-02 wenzelm 2014-11-02 modernized header uniformly as section;
2014-09-18 haftmann 2014-09-18 product over monoids for lists
2014-09-11 haftmann 2014-09-11 abstract product over monoid for lists
2014-09-03 blanchet 2014-09-03 use 'datatype_new' in 'Main'
2014-08-31 haftmann 2014-08-31 separated listsum material