| Fri, 24 Jan 2025 17:53:06 +0000 |
paulson |
Tidying more old proofs
|
file |
diff |
annotate
|
| Thu, 28 Jul 2022 12:33:20 +0100 |
paulson |
a few new theorems
|
file |
diff |
annotate
|
| Thu, 23 Jun 2022 19:29:22 +0200 |
desharna |
changed argument order of mono_on and strict_mono_on to uniformize with monotone_on and other predicates
|
file |
diff |
annotate
|
| Fri, 25 Sep 2020 14:11:48 +0100 |
paulson |
fixed some remarkably ugly proofs
|
file |
diff |
annotate
|
| Thu, 06 Aug 2020 13:07:23 +0100 |
paulson |
a few more lemmas
|
file |
diff |
annotate
|
| Wed, 05 Aug 2020 19:12:08 +0100 |
paulson |
lemmas about sets and the enumerate operator
|
file |
diff |
annotate
|
| Fri, 31 Jul 2020 20:38:41 +0100 |
paulson |
strengthened a lemma
|
file |
diff |
annotate
|
| Thu, 14 May 2020 13:44:44 +0200 |
Manuel Eberl |
Tuned some proofs in HOL-Analysis
|
file |
diff |
annotate
|
| Mon, 11 May 2020 11:15:41 +0100 |
paulson |
the Uniq quantifier
|
file |
diff |
annotate
|
| Wed, 29 Apr 2020 15:16:17 +0100 |
paulson |
A little more tidying up
|
file |
diff |
annotate
|
| Wed, 17 Apr 2019 21:53:45 +0100 |
paulson |
moved subset_image_inj into Hilbert_Choice
|
file |
diff |
annotate
|
| Wed, 17 Apr 2019 17:48:28 +0100 |
paulson |
Lindelöf spaces and supporting material
|
file |
diff |
annotate
|
| Mon, 14 Jan 2019 18:35:03 +0000 |
haftmann |
tuned proofs
|
file |
diff |
annotate
|
| Fri, 04 Jan 2019 23:22:53 +0100 |
wenzelm |
isabelle update -u control_cartouches;
|
file |
diff |
annotate
|
| Thu, 27 Dec 2018 23:38:55 +0100 |
immler |
most of Topology_Euclidean_Space (now Elementary_Topology) requires fewer dependencies
|
file |
diff |
annotate
|