Mon, 07 Jan 2019 13:33:29 +0100 | immler | moved setdist to more appropriate places | changeset | files |
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 |