| Thu, 19 Oct 2023 17:06:39 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Fri, 21 Apr 2023 15:30:59 +0200 |
wenzelm |
more uniform operations wrt. Thm.full_prop_of;
|
file |
diff |
annotate
|
| Fri, 21 Apr 2023 15:26:11 +0200 |
wenzelm |
proper Thm.trim_context / Thm.transfer for context data;
|
file |
diff |
annotate
|
| Fri, 21 Apr 2023 15:14:14 +0200 |
wenzelm |
tuned: more concise data record;
|
file |
diff |
annotate
|
| Fri, 21 Apr 2023 15:00:54 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Fri, 29 Oct 2021 21:06:08 +0200 |
wenzelm |
clarified antiquotations;
|
file |
diff |
annotate
|
| Wed, 20 Oct 2021 18:13:17 +0200 |
wenzelm |
discontinued obsolete "val extend = I" for data slots;
|
file |
diff |
annotate
|
| Mon, 16 Aug 2021 11:49:39 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Sat, 10 Apr 2021 14:55:50 +0200 |
wenzelm |
proper treatment of nested antiquotations;
|
file |
diff |
annotate
|
| Sat, 05 Jan 2019 17:24:33 +0100 |
wenzelm |
isabelle update -u control_cartouches;
|
file |
diff |
annotate
|
| Mon, 08 Aug 2016 14:13:14 +0200 |
hoelzl |
rename HOL-Multivariate_Analysis to HOL-Analysis.
|
file |
diff |
annotate
| base
|