| 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
|
| Mon, 07 Jan 2019 11:51:18 +0100 |
immler |
generalized
|
changeset |
files
|
| Mon, 07 Jan 2019 11:29:34 +0100 |
immler |
moved material from Connected.thy to more appropriate places
|
changeset |
files
|
| Mon, 07 Jan 2019 10:22:22 +0100 |
immler |
generalized
|
changeset |
files
|
| 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
|
| Sun, 06 Jan 2019 15:39:05 +0100 |
wenzelm |
tuned document layout;
|
changeset |
files
|
| Sun, 06 Jan 2019 15:38:56 +0100 |
wenzelm |
retain important whitespace (see 1daf07b65385);
|
changeset |
files
|
| Sun, 06 Jan 2019 15:11:13 +0100 |
wenzelm |
merged
|
changeset |
files
|
| Sun, 06 Jan 2019 15:04:34 +0100 |
wenzelm |
isabelle update -u path_cartouches;
|
changeset |
files
|
| Sun, 06 Jan 2019 13:44:33 +0100 |
wenzelm |
isabelle update -u control_cartouches;
|
changeset |
files
|
| Sun, 06 Jan 2019 12:42:26 +0100 |
wenzelm |
support for isabelle update -u path_cartouches;
|
changeset |
files
|