| Tue, 15 Apr 2025 15:17:25 +0200 |
Manuel Eberl |
new lemmas for HOL-Complex_Analysis; overhaul of isolated_zeros
|
file |
diff |
annotate
|
| Fri, 21 Mar 2025 10:45:56 +0000 |
paulson |
New theorems, mostly from the number theory project
|
file |
diff |
annotate
|
| Wed, 22 Jan 2025 22:22:27 +0000 |
paulson |
more tidying
|
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, 21 Aug 2023 18:38:25 +0100 |
paulson |
Numerous minor tweaks and simplifications
|
file |
diff |
annotate
|
| Mon, 20 Feb 2023 15:19:53 +0000 |
paulson |
Replacing z powr of_int i by z powi i and adding new material from the AFP
|
file |
diff |
annotate
|
| Thu, 16 Feb 2023 12:21:21 +0000 |
paulson |
More of Eberl's contributions: memomorphic functions
|
file |
diff |
annotate
|
| Thu, 09 Feb 2023 15:36:06 +0000 |
paulson |
Even more new material from Eberl and Li
|
file |
diff |
annotate
|
| Thu, 09 Feb 2023 13:36:25 +0000 |
paulson |
More material for Analysis and Complex_Analysis
|
file |
diff |
annotate
|
| Wed, 08 Feb 2023 15:05:24 +0000 |
paulson |
Lots of new material chiefly about complex analysis
|
file |
diff |
annotate
|
| Wed, 04 Jan 2023 19:06:16 +0000 |
paulson |
final tidying of theorems
|
file |
diff |
annotate
|
| Wed, 04 Jan 2023 10:27:19 +0000 |
paulson |
continued proof simplification
|
file |
diff |
annotate
|
| Tue, 03 Jan 2023 19:55:24 +0000 |
paulson |
Further simplifications
|
file |
diff |
annotate
|
| Thu, 08 Jul 2021 08:42:36 +0200 |
desharna |
added opaque_combs and renamed hide_lams to opaque_lifting
|
file |
diff |
annotate
|
| Thu, 03 Jun 2021 10:47:20 +0100 |
paulson |
new lemmas mostly about paths
|
file |
diff |
annotate
|
| Fri, 28 Aug 2020 12:04:36 +0100 |
paulson |
small quantifier fixes
|
file |
diff |
annotate
|
| Mon, 02 Dec 2019 17:51:54 +0100 |
Manuel Eberl |
Reorganised HOL-Complex_Analysis
|
file |
diff |
annotate
|