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