| Fri, 16 Mar 2012 18:20:12 +0100 |
wenzelm |
outer syntax command definitions based on formal command_spec derived from theory header declarations;
|
file |
diff |
annotate
|
| Thu, 15 Mar 2012 20:07:00 +0100 |
wenzelm |
prefer formally checked @{keyword} parser;
|
file |
diff |
annotate
|
| Thu, 15 Mar 2012 19:02:34 +0100 |
wenzelm |
declare minor keywords via theory header;
|
file |
diff |
annotate
|
| Mon, 08 Aug 2011 18:36:32 -0700 |
huffman |
HOLCF: fix warnings about unreferenced identifiers
|
file |
diff |
annotate
|
| Sun, 31 Jul 2011 11:13:38 -0700 |
huffman |
domain package: more informative error message for illegal indirect recursion
|
file |
diff |
annotate
|
| Sun, 17 Apr 2011 19:54:04 +0200 |
wenzelm |
report Name_Space.declare/define, relatively to context;
|
file |
diff |
annotate
|
| Sat, 16 Apr 2011 16:15:37 +0200 |
wenzelm |
modernized structure Proof_Context;
|
file |
diff |
annotate
|
| Tue, 29 Mar 2011 17:47:11 +0200 |
wenzelm |
tuned headers;
|
file |
diff |
annotate
|
| Sun, 19 Dec 2010 18:15:21 -0800 |
huffman |
switch to transparent ascription, to avoid warning messages
|
file |
diff |
annotate
|
| Tue, 30 Nov 2010 14:21:57 -0800 |
huffman |
remove gratuitous semicolons from ML code
|
file |
diff |
annotate
|
| Sat, 27 Nov 2010 16:08:10 -0800 |
huffman |
moved directory src/HOLCF to src/HOL/HOLCF;
|
file |
diff |
annotate
| base
|