src/HOL/Library/Option_ord.thy
Mon, 06 Jul 2015 22:57:34 +0200 wenzelm tuned proofs;
Wed, 17 Jun 2015 11:03:05 +0200 wenzelm isabelle update_cartouches;
Sun, 02 Nov 2014 17:20:45 +0100 wenzelm modernized header;
Sun, 16 Mar 2014 18:09:04 +0100 haftmann normalising simp rules for compound operators
Thu, 25 Jul 2013 08:57:16 +0200 haftmann factored syntactic type classes for bot and top (by Alessandro Coglio)
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