| Sun, 23 Mar 2025 19:26:23 +0000 |
paulson |
Function space instead of image closure
|
file |
diff |
annotate
|
| Mon, 19 Feb 2024 14:31:26 +0100 |
blanchet |
remove selected occurrences of 'moura' tactic
|
file |
diff |
annotate
|
| Sat, 15 Jul 2023 23:34:42 +0100 |
paulson |
trivial_topology
|
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, 08 Jul 2021 08:42:36 +0200 |
desharna |
added opaque_combs and renamed hide_lams to opaque_lifting
|
file |
diff |
annotate
|
| Fri, 16 Oct 2020 21:26:52 +0100 |
paulson |
de-applying and tidying
|
file |
diff |
annotate
|
| Mon, 02 Dec 2019 14:22:28 +0100 |
Manuel Eberl |
Removed duplicate theorems from HOL-Analysis
|
file |
diff |
annotate
|
| Sun, 01 Dec 2019 19:10:57 +0000 |
Wenda Li |
renamed Analysis/Winding_Numbers to Winding_Numbers_2; reorganised Analysis/Cauchy_Integral_Theorem by splitting it into Contour_Integration, Winding_Numbers,Cauchy_Integral_Theorem and Cauchy_Integral_Formula.
|
file |
diff |
annotate
|
| Fri, 29 Nov 2019 11:04:47 +0100 |
nipkow |
reduced imports and removed unused material
|
file |
diff |
annotate
|
| Thu, 28 Nov 2019 23:06:22 +0100 |
nipkow |
tuned
|
file |
diff |
annotate
|
| Tue, 05 Nov 2019 13:56:22 +0100 |
nipkow |
tuned
|
file |
diff |
annotate
|
| Wed, 04 Sep 2019 16:34:45 +0100 |
paulson |
Removal of the redundant ancestor Continuous_Extension
|
file |
diff |
annotate
|
| Wed, 04 Sep 2019 15:27:04 +0100 |
paulson |
Half of Brouwer_Fixpoint split off to form a separate theory: Retracts.
|
file |
diff |
annotate
|