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
|