| Tue, 09 Dec 2008 12:53:25 -0800 |
huffman |
instantiation option :: (enum) enum
|
file |
diff |
annotate
|
| Fri, 24 Oct 2008 17:48:36 +0200 |
haftmann |
tuned proof
|
file |
diff |
annotate
|
| Fri, 10 Oct 2008 06:45:53 +0200 |
haftmann |
`code func` now just `code`
|
file |
diff |
annotate
|
| Tue, 16 Sep 2008 16:13:11 +0200 |
haftmann |
celver code lemma avoid type ambiguity problem with Haskell
|
file |
diff |
annotate
|
| Mon, 07 Jul 2008 08:47:17 +0200 |
haftmann |
absolute imports of HOL/*.thy theories
|
file |
diff |
annotate
|
| Thu, 26 Jun 2008 10:07:01 +0200 |
haftmann |
established Plain theory and image
|
file |
diff |
annotate
|
| Fri, 23 May 2008 16:05:02 +0200 |
haftmann |
added code for quantifiers
|
file |
diff |
annotate
|
| Wed, 07 May 2008 10:59:27 +0200 |
berghofe |
Deleted instantiation "set :: (enum) enum"
|
file |
diff |
annotate
|
| Tue, 22 Apr 2008 08:33:16 +0200 |
haftmann |
constant HOL.eq now qualified
|
file |
diff |
annotate
|
| Wed, 02 Apr 2008 15:58:32 +0200 |
haftmann |
explicit class "eq" for operational equality
|
file |
diff |
annotate
|
| Thu, 27 Mar 2008 19:04:38 +0100 |
haftmann |
instance for functions, explicit characters
|
file |
diff |
annotate
|
| Thu, 20 Mar 2008 12:01:10 +0100 |
haftmann |
added theory Library/Enum.thy
|
file |
diff |
annotate
|