| Thu, 10 Jan 2019 12:07:08 +0000 | haftmann | optional code export as theory export | changeset | files |
| Thu, 10 Jan 2019 12:07:05 +0000 | haftmann | explicit model concerning files of generated code | changeset | files |
| Mon, 07 Jan 2019 18:50:41 +0100 | immler | moved generalized lemmas | changeset | files |
| Mon, 07 Jan 2019 18:42:49 +0100 | immler | generalized | changeset | files |
| Mon, 07 Jan 2019 14:57:45 +0100 | immler | split off Homotopy.thy | changeset | files |
| Mon, 07 Jan 2019 14:06:54 +0100 | immler | split off Convex.thy: material that does not require Topology_Euclidean_Space | changeset | files |
| 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 |