Thu, 08 Jul 2021 08:42:36 +0200 |
desharna |
added opaque_combs and renamed hide_lams to opaque_lifting
|
file |
diff |
annotate
|
Sat, 29 Aug 2020 16:30:22 +0100 |
paulson |
quite a bit of tidying
|
file |
diff |
annotate
|
Wed, 13 May 2020 16:35:36 +0200 |
Manuel Eberl |
new HOL simproc: eliminate_false_implies
|
file |
diff |
annotate
|
Fri, 29 Nov 2019 15:06:04 +0100 |
nipkow |
tuned
|
file |
diff |
annotate
|
Thu, 28 Nov 2019 23:06: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
|
Fri, 12 Apr 2019 22:09:25 +0200 |
wenzelm |
modernized tags: default scope excludes proof;
|
file |
diff |
annotate
|
Thu, 21 Mar 2019 14:18:22 +0000 |
paulson |
new material on topology: products, etc. Some renamings, esp continuous_on_topo -> continuous_map
|
file |
diff |
annotate
|
Tue, 19 Mar 2019 16:14:51 +0000 |
paulson |
new material about topology, etc.; also fixes for yesterday's
|
file |
diff |
annotate
|
Tue, 29 Jan 2019 21:56:40 +0100 |
wenzelm |
eliminated suspicious Unicode;
|
file |
diff |
annotate
|
Tue, 29 Jan 2019 16:13:11 +0100 |
nipkow |
moved generalized material
|
file |
diff |
annotate
|
Mon, 07 Jan 2019 18:50:41 +0100 |
immler |
moved generalized lemmas
|
file |
diff |
annotate
|
Mon, 07 Jan 2019 13:08:50 +0100 |
immler |
split off theory combining Elementary_Topology and Abstract_Topology
|
file |
diff |
annotate
|