src/HOL/Library/Sublist_Order.thy
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