| Fri, 20 Sep 2024 19:51:08 +0200 |
wenzelm |
standardize mixfix annotations via "isabelle update -a -u mixfix_cartouches" --- to simplify systematic editing;
|
file |
diff |
annotate
|
| Thu, 21 Mar 2024 14:19:39 +0000 |
paulson |
New material from a variety of sources (including AFP)
|
file |
diff |
annotate
|
| Mon, 11 Mar 2024 15:07:02 +0000 |
paulson |
New material by Wenda Li and Manuel Eberl
|
file |
diff |
annotate
|
| Sat, 12 Aug 2023 10:09:29 +0100 |
paulson |
substantial tidy-up, shortening many proofs
|
file |
diff |
annotate
|
| Thu, 09 Feb 2023 13:36:25 +0000 |
paulson |
More material for Analysis and Complex_Analysis
|
file |
diff |
annotate
|
| Mon, 06 Feb 2023 15:41:23 +0000 |
paulson |
Some more new material and some tidying of existing proofs
|
file |
diff |
annotate
|
| Wed, 01 Feb 2023 12:43:33 +0000 |
paulson |
More new material thanks to Manuel
|
file |
diff |
annotate
|
| Tue, 01 Mar 2022 15:05:27 +0000 |
paulson |
Added some theorems (from Wetzel)
|
file |
diff |
annotate
|
| Fri, 15 Oct 2021 12:42:51 +0100 |
paulson |
A few new lemmas plus some refinements
|
file |
diff |
annotate
|
| Mon, 28 Jun 2021 15:05:46 +0100 |
paulson |
A few useful lemmas about derivatives, colinearity and other topics
|
file |
diff |
annotate
|
| Tue, 31 Mar 2020 15:51:15 +0200 |
nipkow |
cleaned proofs
|
file |
diff |
annotate
|
| Sat, 30 Nov 2019 13:47:33 +0100 |
Manuel Eberl |
Split off new HOL-Complex_Analysis session from HOL-Analysis
|
file |
diff |
annotate
|