| Fri, 29 Sep 2017 20:49:42 +0200 |
wenzelm |
more informative loaded_theories: dependencies and syntax;
|
changeset |
files
|
| Fri, 29 Sep 2017 17:41:39 +0200 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Fri, 29 Sep 2017 17:35:09 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
| Fri, 29 Sep 2017 17:28:44 +0200 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Fri, 29 Sep 2017 17:03:33 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
| Thu, 28 Sep 2017 15:11:32 +0200 |
wenzelm |
session-qualified theory names are mandatory;
|
changeset |
files
|
| Thu, 28 Sep 2017 11:53:55 +0200 |
wenzelm |
discontinued extra checks (see ce676a750575 and 60c159d490a2) -- qualified theory names are meant to cover this;
|
changeset |
files
|
| Fri, 29 Sep 2017 16:55:08 +0100 |
paulson |
eliminated a needless dependence on the theorem homeomorphic_punctured_sphere_affine_gen
|
changeset |
files
|
| Fri, 29 Sep 2017 14:17:17 +0100 |
paulson |
Merge (resolved trivial conflict)
|
changeset |
files
|
| Fri, 29 Sep 2017 14:12:14 +0100 |
paulson |
New results for Green's theorem
|
changeset |
files
|
| Thu, 28 Sep 2017 17:58:55 +0100 |
paulson |
merged
|
changeset |
files
|
| Sat, 09 Sep 2017 13:02:21 +0100 |
paulson |
merged
|
changeset |
files
|