| Fri, 18 Apr 2025 10:58:16 +0200 |
Manuel Eberl |
moved some lemmas to where they fit better
|
file |
diff |
annotate
|
| Tue, 15 Apr 2025 15:17:25 +0200 |
Manuel Eberl |
new lemmas for HOL-Complex_Analysis; overhaul of isolated_zeros
|
file |
diff |
annotate
|
| Fri, 04 Apr 2025 16:37:58 +0100 |
paulson |
Inserted more of Manuel Eberl's material
|
file |
diff |
annotate
|
| Sun, 19 Jan 2025 18:18:07 +0000 |
paulson |
simplified old proofs
|
file |
diff |
annotate
|
| 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, 28 Mar 2024 13:32:57 +0000 |
paulson |
An assortment of new material, mostly due to Manuel
|
file |
diff |
annotate
|
| Mon, 21 Aug 2023 18:38:25 +0100 |
paulson |
Numerous minor tweaks and simplifications
|
file |
diff |
annotate
|
| Fri, 03 Mar 2023 12:21:58 +0000 |
paulson |
More of Eberl's material
|
file |
diff |
annotate
|
| Wed, 08 Feb 2023 15:05:24 +0000 |
paulson |
Lots of new material chiefly about complex analysis
|
file |
diff |
annotate
|
| Tue, 03 Jan 2023 11:30:37 +0000 |
paulson |
Fixed a couple of simple_path occurrences
|
file |
diff |
annotate
|
| Thu, 03 Jun 2021 10:47:20 +0100 |
paulson |
new lemmas mostly about paths
|
file |
diff |
annotate
|
| Sun, 20 Sep 2020 15:45:14 +0100 |
paulson |
de-applying and simplifying
|
file |
diff |
annotate
|
| Mon, 02 Dec 2019 17:51:54 +0100 |
Manuel Eberl |
Reorganised HOL-Complex_Analysis
|
file |
diff |
annotate
|