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
|