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