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 |
Mon, 05 Sep 2022 20:22:13 +0200 | wenzelm | proper umlauts; | file | diff | annotate |
Fri, 25 Dec 2020 15:37:27 +0000 | paulson | A few more simprules for iff-reasoning | file | diff | annotate |
Tue, 05 Nov 2019 13:56:22 +0100 | nipkow | tuned | file | diff | annotate |
Wed, 17 Apr 2019 17:48:28 +0100 | paulson | Lindelöf spaces and supporting material | file | diff | annotate |