src/HOL/Library/Sublist_Order.thy
Thu, 18 May 2017 12:02:21 +0200 eberlm more on sublists
Tue, 12 Jul 2016 20:03:18 +0200 wenzelm misc tuning and modernization;
Thu, 05 Nov 2015 10:39:49 +0100 wenzelm isabelle update_cartouches -c -t;
Wed, 17 Jun 2015 11:03:05 +0200 wenzelm isabelle update_cartouches;
Sun, 02 Nov 2014 17:20:45 +0100 wenzelm modernized header;
Thu, 03 Jul 2014 09:55:15 +0200 Christian Sternagel renamed "list_hembeq" into slightly shorter "list_emb"
Thu, 13 Dec 2012 13:11:38 +0100 Christian Sternagel renamed "emb" to "list_hembeq";
Thu, 30 Aug 2012 15:44:03 +0900 Christian Sternagel forgot to add lemmas
Thu, 30 Aug 2012 13:06:04 +0900 Christian Sternagel Main is implicitly imported via Sublist
Wed, 29 Aug 2012 16:25:35 +0900 Christian Sternagel introduced "sub" as abbreviation for "emb (op =)";
Wed, 29 Aug 2012 12:24:26 +0900 Christian Sternagel base Sublist_Order on Sublist (using a simplified form of embedding as sublist relation)
Mon, 12 Jul 2010 08:58:13 +0200 haftmann dropped superfluous [code del]s
Sat, 07 Nov 2009 08:17:52 +0100 haftmann tuned
Wed, 04 Nov 2009 09:18:03 +0100 nipkow Completely overhauled
Fri, 27 Mar 2009 10:05:11 +0100 haftmann normalized imports
Fri, 10 Oct 2008 06:45:53 +0200 haftmann `code func` now just `code`
Fri, 25 Jul 2008 12:03:34 +0200 haftmann added class preorder
Mon, 07 Jul 2008 08:47:17 +0200 haftmann absolute imports of HOL/*.thy theories
Thu, 26 Jun 2008 10:07:01 +0200 haftmann established Plain theory and image
Tue, 22 Apr 2008 08:33:21 +0200 haftmann added theory Sublist_Order
less more (0) tip