| Tue, 22 Apr 2025 17:35:13 +0100 |
paulson |
merged
|
file |
diff |
annotate
|
| Tue, 22 Apr 2025 17:35:02 +0100 |
paulson |
More tidying and some variable renaming
|
file |
diff |
annotate
|
| Tue, 22 Apr 2025 12:53:32 +0200 |
Manuel Eberl |
some facts about derivatives of products
|
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 20:05:54 +0100 |
paulson |
Another of Manuel's theorems
|
file |
diff |
annotate
|
| Tue, 08 Apr 2025 19:06:00 +0100 |
paulson |
More of Manuel's material
|
file |
diff |
annotate
|
| Sun, 19 Jan 2025 18:18:07 +0000 |
paulson |
simplified old proofs
|
file |
diff |
annotate
|
| Wed, 10 Apr 2024 11:32:48 +0100 |
paulson |
Tiny tweaks to proofs
|
file |
diff |
annotate
|
| Wed, 27 Sep 2023 13:34:15 +0100 |
paulson |
Importing or moving a few more useful theorems
|
file |
diff |
annotate
|
| Mon, 21 Aug 2023 18:38:25 +0100 |
paulson |
Numerous minor tweaks and simplifications
|
file |
diff |
annotate
|
| Sun, 19 Mar 2023 18:55:41 +0000 |
paulson |
simplified a lot of messy proofs
|
file |
diff |
annotate
|
| Thu, 09 Feb 2023 15:36:06 +0000 |
paulson |
Even more new material from Eberl and Li
|
file |
diff |
annotate
|
| Thu, 08 Jul 2021 08:44:18 +0200 |
desharna |
merged
|
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
|
| Sun, 04 Jul 2021 18:35:57 +0100 |
paulson |
Imported lots of material from Stirling_Formula/Gamma_Asymptotics
|
file |
diff |
annotate
|
| Fri, 28 May 2021 14:43:06 +0100 |
paulson |
nicer statement of Liouville_theorem
|
file |
diff |
annotate
|
| Mon, 05 Oct 2020 12:47:19 +0100 |
paulson |
more tidying of messy proofs
|
file |
diff |
annotate
|
| Thu, 17 Sep 2020 18:48:06 +0100 |
paulson |
de-applying
|
file |
diff |
annotate
|
| Mon, 02 Dec 2019 17:51:54 +0100 |
Manuel Eberl |
Reorganised HOL-Complex_Analysis
|
file |
diff |
annotate
|