| Wed, 20 Nov 2013 18:58:00 +0100 | blanchet | factor 'List_Prefix' out of 'Sublist' and move to 'Main' (needed for codatatypes) | file | diff | annotate |
| Wed, 12 Sep 2012 13:42:28 +0200 | wenzelm | tuned headers; | file | diff | annotate |
| Thu, 30 Aug 2012 13:38:27 +0900 | Christian Sternagel | added theory instantiating type class order for list prefixes | file | diff | annotate |