src/HOL/Library/Sublist_Order.thy
2015-11-05 wenzelm 2015-11-05 isabelle update_cartouches -c -t;
2015-06-17 wenzelm 2015-06-17 isabelle update_cartouches;
2014-11-02 wenzelm 2014-11-02 modernized header;
2014-07-03 Christian Sternagel 2014-07-03 renamed "list_hembeq" into slightly shorter "list_emb"
2012-12-13 Christian Sternagel 2012-12-13 renamed "emb" to "list_hembeq"; make "list_hembeq" reflexive independent of the base order; renamed "sub" to "sublisteq"; dropped "transp_on" (state transitivity explicitly instead); no need to hide "sub" after renaming; replaced some ASCII symbols by proper Isabelle symbols; NEWS
2012-08-30 Christian Sternagel 2012-08-30 forgot to add lemmas
2012-08-30 Christian Sternagel 2012-08-30 Main is implicitly imported via Sublist
2012-08-29 Christian Sternagel 2012-08-29 introduced "sub" as abbreviation for "emb (op =)"; Sublist_Order is now based on Sublist.sub; simplified and moved most lemmas on sub from Sublist_Order to Sublist; Sublist_Order merely contains ord and order instances for sub plus some lemmas on the strict part of the order
2012-08-29 Christian Sternagel 2012-08-29 base Sublist_Order on Sublist (using a simplified form of embedding as sublist relation)
2010-07-12 haftmann 2010-07-12 dropped superfluous [code del]s
2009-11-07 haftmann 2009-11-07 tuned
2009-11-04 nipkow 2009-11-04 Completely overhauled
2009-03-27 haftmann 2009-03-27 normalized imports
2008-10-10 haftmann 2008-10-10 `code func` now just `code`
2008-07-25 haftmann 2008-07-25 added class preorder
2008-07-07 haftmann 2008-07-07 absolute imports of HOL/*.thy theories
2008-06-26 haftmann 2008-06-26 established Plain theory and image
2008-04-22 haftmann 2008-04-22 added theory Sublist_Order