| Wed, 11 Oct 2017 20:16:00 +0200 |
wenzelm |
added isablle build option -f;
|
changeset |
files
|
| Mon, 09 Oct 2017 19:10:52 +0200 |
haftmann |
canonical multiplicative euclidean size
|
changeset |
files
|
| Mon, 09 Oct 2017 19:10:51 +0200 |
haftmann |
clarified parity
|
changeset |
files
|
| Mon, 09 Oct 2017 19:10:49 +0200 |
haftmann |
clarified uniqueness criterion for euclidean rings
|
changeset |
files
|
| Mon, 09 Oct 2017 19:10:48 +0200 |
haftmann |
tuned proofs
|
changeset |
files
|
| Mon, 09 Oct 2017 19:10:47 +0200 |
haftmann |
tuned imports
|
changeset |
files
|
| Tue, 10 Oct 2017 22:18:58 +0100 |
paulson |
fixed markup
|
changeset |
files
|
| 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
|
| Tue, 10 Oct 2017 14:03:51 +0100 |
paulson |
Session HOL-Analysis: Moebius functions and the Riemann mapping theorem.
|
changeset |
files
|