| Thu, 31 Aug 2017 20:19:55 +0200 |
wenzelm |
merged
|
changeset |
files
|
| Thu, 31 Aug 2017 19:34:43 +0200 |
wenzelm |
template for $ISABELLE_HOME_USER/ROOTS;
|
changeset |
files
|
| Thu, 31 Aug 2017 19:29:42 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
| Thu, 31 Aug 2017 19:06:14 +0200 |
wenzelm |
clarified signature: provide all_known information uniformly (it is subject to Sessions.T selection);
|
changeset |
files
|
| Thu, 31 Aug 2017 17:31:56 +0200 |
wenzelm |
reverted 6acb28e5ba41: permissiveness of 1e5ae735e026 should be sufficient;
|
changeset |
files
|
| Thu, 31 Aug 2017 17:21:38 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
| Thu, 31 Aug 2017 16:35:09 +0200 |
wenzelm |
tolerate errors in session structure, although this may lead to confusion about theory imports later on;
|
changeset |
files
|
| Thu, 31 Aug 2017 16:30:46 +0200 |
wenzelm |
clarified errors;
|
changeset |
files
|
| Thu, 31 Aug 2017 11:42:10 +0200 |
wenzelm |
clarified signature;
|
changeset |
files
|
| Thu, 31 Aug 2017 11:15:38 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
| Thu, 31 Aug 2017 17:48:20 +0200 |
eberlm |
Connecting PMFs to infinite sums
|
changeset |
files
|
| Thu, 31 Aug 2017 14:32:23 +0200 |
nipkow |
Moved material into AFP/Splay_Tree
|
changeset |
files
|