src/HOL/Library/Option_ord.thy
Fri, 07 Sep 2012 08:20:18 +0200 haftmann lattice instances for option type
Wed, 13 Jul 2011 23:41:13 +0200 haftmann adjusted to tightened specification of classes bot and top
Mon, 12 Jul 2010 08:58:13 +0200 haftmann dropped superfluous [code del]s
Mon, 23 Mar 2009 08:14:23 +0100 haftmann added instances for bot, top, wellorder
Fri, 10 Oct 2008 06:45:53 +0200 haftmann `code func` now just `code`
Thu, 26 Jun 2008 10:07:01 +0200 haftmann established Plain theory and image
Wed, 12 Mar 2008 17:29:09 +0100 haftmann dropped dangerous antiquotation
Wed, 12 Mar 2008 08:47:35 +0100 haftmann better improvement in instantiation target
Wed, 12 Mar 2008 08:45:51 +0100 haftmann *** empty log message ***
Fri, 07 Mar 2008 16:46:57 +0100 haftmann added Option_ord.thy
less more (0) tip