| Sun, 06 Jan 2019 17:54:49 +0100 | immler | moved some material from Connected.thy to more appropriate places | changeset | files |
| Sun, 06 Jan 2019 16:27:52 +0100 | wenzelm | proper example for inner syntax, not name; | changeset | files |
| Sun, 06 Jan 2019 16:07:18 +0100 | wenzelm | tuned; | changeset | files |