| Tue, 17 Mar 2015 09:22:17 +0100 | nipkow | added lemmas | file | diff | annotate |
| Thu, 13 Nov 2014 12:35:55 +0100 | nipkow | added lemma | file | diff | annotate |
| Sun, 02 Nov 2014 18:21:45 +0100 | wenzelm | modernized header uniformly as section; | file | diff | annotate |
| Thu, 18 Sep 2014 15:07:43 +0200 | haftmann | product over monoids for lists | file | diff | annotate |
| Thu, 11 Sep 2014 23:12:32 +0200 | haftmann | abstract product over monoid for lists | file | diff | annotate |
| Wed, 03 Sep 2014 00:06:24 +0200 | blanchet | use 'datatype_new' in 'Main' | file | diff | annotate |
| Sun, 31 Aug 2014 09:10:42 +0200 | haftmann | separated listsum material | file | diff | annotate |