| Tue, 22 Apr 2025 17:35:02 +0100 |
paulson |
More tidying and some variable renaming
|
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, 21 Mar 2025 10:45:56 +0000 |
paulson |
New theorems, mostly from the number theory project
|
file |
diff |
annotate
|
| Thu, 28 Mar 2024 13:32:57 +0000 |
paulson |
An assortment of new material, mostly due to Manuel
|
file |
diff |
annotate
|
| Thu, 16 Feb 2023 12:21:21 +0000 |
paulson |
More of Eberl's contributions: memomorphic functions
|
file |
diff |
annotate
|
| Tue, 03 Jan 2023 11:30:37 +0000 |
paulson |
Fixed a couple of simple_path occurrences
|
file |
diff |
annotate
|
| Tue, 17 May 2022 14:10:14 +0100 |
paulson |
tidied auto / simp with null arguments
|
file |
diff |
annotate
|
| Wed, 06 Oct 2021 14:19:46 +0200 |
eberlm |
new notion of infinite sums in HOL-Analysis, ordering on complex numbers
|
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, 25 Oct 2020 22:45:46 +0000 |
paulson |
tidying and de-applying
|
file |
diff |
annotate
|
| Mon, 05 Oct 2020 20:58:23 +0100 |
paulson |
still not quite fixed...
|
file |
diff |
annotate
|
| Mon, 05 Oct 2020 18:48:41 +0100 |
paulson |
A few more reversions
|
file |
diff |
annotate
|
| Mon, 05 Oct 2020 12:47:19 +0100 |
paulson |
more tidying of messy proofs
|
file |
diff |
annotate
|
| Mon, 02 Dec 2019 17:51:54 +0100 |
Manuel Eberl |
Reorganised HOL-Complex_Analysis
|
file |
diff |
annotate
|
| Sat, 30 Nov 2019 13:47:33 +0100 |
Manuel Eberl |
Split off new HOL-Complex_Analysis session from HOL-Analysis
|
file |
diff |
annotate
|