Mon, 07 Jan 2019 13:16:33 +0100 | immler | reduced dependencies of Connected.thy | changeset | files |
Mon, 07 Jan 2019 13:08:50 +0100 | immler | split off theory combining Elementary_Topology and Abstract_Topology | changeset | files |
Mon, 07 Jan 2019 12:31:08 +0100 | immler | moved material from Connected.thy to more appropriate places | changeset | files |