| 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 |