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