| Thu, 05 Dec 2019 18:26:11 +0100 |
nipkow |
tuned
|
changeset |
files
|
| Thu, 05 Dec 2019 12:09:35 +0000 |
haftmann |
proper table data structure
|
changeset |
files
|
| Thu, 05 Dec 2019 12:09:33 +0000 |
haftmann |
removed some vain declarations
|
changeset |
files
|
| Thu, 05 Dec 2019 13:51:09 +0100 |
nipkow |
merged
|
changeset |
files
|
| Thu, 05 Dec 2019 11:21:17 +0100 |
nipkow |
made Starlike independent of Abstract_Limits
|
changeset |
files
|
| Thu, 05 Dec 2019 09:24:34 +0000 |
haftmann |
more direct accessors for simpset
|
changeset |
files
|
| Wed, 04 Dec 2019 20:25:21 +0000 |
haftmann |
regular merge with no historization, in accordance with regular update
|
changeset |
files
|
| Wed, 04 Dec 2019 23:11:29 +0100 |
nipkow |
moved starlike where it belongs
|
changeset |
files
|
| Wed, 04 Dec 2019 19:55:30 +0100 |
wenzelm |
merged
|
changeset |
files
|
| Wed, 04 Dec 2019 19:40:22 +0100 |
wenzelm |
clarified messages streaming (again, amending 5ea3ed3c52b3): avoid too many small messages stacking up, e.g. when loading HOL-Analysis.Analysis.thy into Isabelle/jEdit;
|
changeset |
files
|
| Wed, 04 Dec 2019 18:28:24 +0100 |
nipkow |
moved segment lemmas where they belong
|
changeset |
files
|
| Wed, 04 Dec 2019 15:36:58 +0100 |
nipkow |
merged
|
changeset |
files
|
| Wed, 04 Dec 2019 14:12:59 +0100 |
nipkow |
moved lemmas
|
changeset |
files
|
| Wed, 04 Dec 2019 12:44:47 +0000 |
paulson |
merged
|
changeset |
files
|
| Wed, 04 Dec 2019 12:44:38 +0000 |
paulson |
two new theorems
|
changeset |
files
|
| Wed, 04 Dec 2019 12:00:07 +0100 |
nipkow |
moved lemma
|
changeset |
files
|