Wed, 19 Feb 2014 10:30:21 +0100 | traytel | reverted ba7392b52a7c: List_Prefix not needed anymore by codatatypes | file | diff | annotate |
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 |