| Thu, 09 Feb 2023 15:36:06 +0000 |
paulson |
Even more new material from Eberl and Li
|
file |
diff |
annotate
|
| Thu, 09 Feb 2023 13:36:25 +0000 |
paulson |
More material for Analysis and Complex_Analysis
|
file |
diff |
annotate
|
| Wed, 08 Feb 2023 15:05:24 +0000 |
paulson |
Lots of new material chiefly about complex analysis
|
file |
diff |
annotate
|
| Wed, 04 Jan 2023 19:06:16 +0000 |
paulson |
final tidying of theorems
|
file |
diff |
annotate
|
| Wed, 04 Jan 2023 10:27:19 +0000 |
paulson |
continued proof simplification
|
file |
diff |
annotate
|
| Tue, 03 Jan 2023 19:55:24 +0000 |
paulson |
Further 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
|
| Thu, 03 Jun 2021 10:47:20 +0100 |
paulson |
new lemmas mostly about paths
|
file |
diff |
annotate
|
| Fri, 28 Aug 2020 12:04:36 +0100 |
paulson |
small quantifier fixes
|
file |
diff |
annotate
|
| Mon, 02 Dec 2019 17:51:54 +0100 |
Manuel Eberl |
Reorganised HOL-Complex_Analysis
|
file |
diff |
annotate
|