Wed, 21 May 2025 21:48:42 +0200 |
Manuel Eberl |
three lemmas for HOL-Complex_Analysis, HOL-Computational_Algebra
|
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
|
Tue, 08 Apr 2025 19:06:00 +0100 |
paulson |
More of Manuel's material
|
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
|
Tue, 02 Apr 2024 18:02:43 +0200 |
Manuel Eberl |
added documentation for meromorphicity etc. in HOL-Complex_Analysis
|
file |
diff |
annotate
|
Thu, 21 Mar 2024 14:19:39 +0000 |
paulson |
New material from a variety of sources (including AFP)
|
file |
diff |
annotate
|
Wed, 20 Mar 2024 16:05:15 +0100 |
Manuel Eberl |
more general definition of meromorphicity; Weierstraß factorisation theorem
|
file |
diff |
annotate
|
Tue, 12 Mar 2024 12:11:28 +0000 |
paulson |
Fixed a latex error in the markup
|
file |
diff |
annotate
|
Mon, 11 Mar 2024 15:07:02 +0000 |
paulson |
New material by Wenda Li and Manuel Eberl
|
file |
diff |
annotate
|
Mon, 25 Sep 2023 17:06:05 +0100 |
paulson |
A few new theorems
|
file |
diff |
annotate
|
Thu, 16 Feb 2023 12:21:21 +0000 |
paulson |
More of Eberl's contributions: memomorphic functions
|
file |
diff |
annotate
|