| Tue, 06 Oct 2015 15:14:28 +0200 | wenzelm | fewer aliases for toplevel theorem statements; | file | diff | annotate |
| Mon, 06 Jul 2015 22:57:34 +0200 | wenzelm | tuned proofs; | file | diff | annotate |
| Wed, 17 Jun 2015 11:03:05 +0200 | wenzelm | isabelle update_cartouches; | file | diff | annotate |
| Sun, 02 Nov 2014 17:20:45 +0100 | wenzelm | modernized header; | file | diff | annotate |
| 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 |