| Tue, 10 Oct 2017 20:33:29 +0200 | wenzelm | ignore isolated nodes by default; | changeset | files |
| Tue, 10 Oct 2017 19:51:54 +0200 | wenzelm | merged | changeset | files |
| Tue, 10 Oct 2017 19:48:29 +0200 | wenzelm | cycle check with informative error; | changeset | files |
| Tue, 10 Oct 2017 19:23:03 +0200 | wenzelm | tuned: each session has at most one defining entry; | changeset | files |
| Tue, 10 Oct 2017 13:46:12 +0200 | wenzelm | more operations; | changeset | files |
| Tue, 10 Oct 2017 11:24:35 +0200 | wenzelm | tuned signature; | changeset | files |
| Tue, 10 Oct 2017 11:20:02 +0200 | wenzelm | tuned signature; | changeset | files |
| Tue, 10 Oct 2017 17:15:37 +0100 | paulson | Divided Topology_Euclidean_Space in two, creating new theory Connected. Also deleted some duplicate / variant theorems | changeset | files |