| Wed, 28 May 2025 17:49:22 +0200 |
haftmann |
more modern qualification of auxiliary operations
|
file |
diff |
annotate
|
| Tue, 22 Apr 2025 17:35:02 +0100 |
paulson |
More tidying and some variable renaming
|
file |
diff |
annotate
|
| Wed, 10 Apr 2024 11:32:48 +0100 |
paulson |
Tiny tweaks to proofs
|
file |
diff |
annotate
|
| Mon, 21 Aug 2023 18:38:25 +0100 |
paulson |
Numerous minor tweaks and simplifications
|
file |
diff |
annotate
|
| Thu, 03 Aug 2023 19:10:36 +0200 |
paulson |
More cosmetic changes
|
file |
diff |
annotate
|
| Mon, 03 Jul 2023 11:45:59 +0100 |
paulson |
EXPERIMENTAL replacement of f ` A <= B by f : A -> B in Analysis
|
file |
diff |
annotate
|
| Thu, 09 Feb 2023 15:36:06 +0000 |
paulson |
Even more new material from Eberl and Li
|
file |
diff |
annotate
|
| Tue, 01 Mar 2022 15:05:27 +0000 |
paulson |
Added some theorems (from Wetzel)
|
file |
diff |
annotate
|
| Fri, 16 Jul 2021 14:43:25 +0100 |
paulson |
A few new lemmas and 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
|
| Sun, 13 Sep 2020 16:11:05 +0100 |
paulson |
de-applying
|
file |
diff |
annotate
|
| Sun, 30 Aug 2020 19:45:46 +0100 |
paulson |
minor tidying, also s->S and t->T
|
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
|