Fri, 04 Jan 2019 23:22:53 +0100 |
wenzelm |
isabelle update -u control_cartouches;
|
file |
diff |
annotate
|
Mon, 19 Feb 2018 14:49:11 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Wed, 06 Dec 2017 20:43:09 +0100 |
wenzelm |
prefer control symbol antiquotations;
|
file |
diff |
annotate
|
Mon, 11 Sep 2017 18:36:13 +0200 |
wenzelm |
clarified signature: proper result;
|
file |
diff |
annotate
|
Sat, 11 Jun 2016 16:41:11 +0200 |
wenzelm |
clarified syntax;
|
file |
diff |
annotate
|
Mon, 30 May 2016 14:15:44 +0200 |
wenzelm |
allow 'for' fixes for multi_specs;
|
file |
diff |
annotate
|
Fri, 27 May 2016 20:23:55 +0200 |
wenzelm |
tuned proofs, to allow unfold_abs_def;
|
file |
diff |
annotate
|
Thu, 28 Apr 2016 09:43:11 +0200 |
wenzelm |
support 'assumes' in specifications, e.g. 'definition', 'inductive';
|
file |
diff |
annotate
|
Mon, 18 Apr 2016 11:02:07 +0200 |
wenzelm |
avoid clash with function called "x";
|
file |
diff |
annotate
|
Sun, 17 Apr 2016 22:10:09 +0200 |
wenzelm |
clarified bindings;
|
file |
diff |
annotate
|
Sun, 17 Apr 2016 20:11:02 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
Sun, 17 Apr 2016 12:40:48 +0200 |
wenzelm |
clarified reported positions;
|
file |
diff |
annotate
|
Sun, 17 Apr 2016 12:26:22 +0200 |
wenzelm |
operate on proper binding;
|
file |
diff |
annotate
|
Wed, 13 Apr 2016 18:01:05 +0200 |
wenzelm |
eliminated "xname" and variants;
|
file |
diff |
annotate
|
Thu, 07 Jan 2016 15:53:39 +0100 |
wenzelm |
more uniform treatment of package internals;
|
file |
diff |
annotate
|