src/HOL/Library/Prefix_Order.thy
Tue, 12 Jul 2016 20:03:18 +0200 wenzelm misc tuning and modernization;
Mon, 23 May 2016 22:43:11 +0200 nipkow renamed prefix* in Library/Sublist
Tue, 06 Oct 2015 15:14:28 +0200 wenzelm fewer aliases for toplevel theorem statements;
Mon, 06 Jul 2015 22:57:34 +0200 wenzelm tuned proofs;
Wed, 17 Jun 2015 11:03:05 +0200 wenzelm isabelle update_cartouches;
Sun, 02 Nov 2014 17:20:45 +0100 wenzelm modernized header;
Wed, 19 Feb 2014 10:30:21 +0100 traytel reverted ba7392b52a7c: List_Prefix not needed anymore by codatatypes
Wed, 20 Nov 2013 18:58:00 +0100 blanchet factor 'List_Prefix' out of 'Sublist' and move to 'Main' (needed for codatatypes)
Wed, 12 Sep 2012 13:42:28 +0200 wenzelm tuned headers;
Thu, 30 Aug 2012 13:38:27 +0900 Christian Sternagel added theory instantiating type class order for list prefixes
less more (0) tip