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