| Sun, 23 Apr 2017 23:49:14 +0200 |
wenzelm |
clarified parent session images, to avoid duplicate loading of theories;
|
changeset |
files
|
| Sun, 23 Apr 2017 23:10:33 +0200 |
wenzelm |
merged
|
changeset |
files
|
| Sun, 23 Apr 2017 23:10:23 +0200 |
wenzelm |
tuned documentation;
|
changeset |
files
|
| Sun, 23 Apr 2017 23:06:50 +0200 |
wenzelm |
support for potential session imports;
|
changeset |
files
|
| Sun, 23 Apr 2017 22:00:15 +0200 |
wenzelm |
more checks;
|
changeset |
files
|
| Sun, 23 Apr 2017 19:17:04 +0200 |
wenzelm |
tuned messages;
|
changeset |
files
|
| Sun, 23 Apr 2017 19:06:53 +0200 |
wenzelm |
actually use theory;
|
changeset |
files
|
| Sun, 23 Apr 2017 18:54:18 +0200 |
wenzelm |
renamed theory to avoid conflict with loaded theory "Tree" from HOL-Library;
|
changeset |
files
|
| Sun, 23 Apr 2017 18:47:56 +0200 |
wenzelm |
support for Mercurial manifest check;
|
changeset |
files
|
| Sun, 23 Apr 2017 18:12:42 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
| Sun, 23 Apr 2017 17:23:38 +0200 |
wenzelm |
more operations;
|
changeset |
files
|
| Sun, 23 Apr 2017 16:18:31 +0200 |
wenzelm |
support for multiple operations via options;
|
changeset |
files
|
| Sun, 23 Apr 2017 15:59:51 +0200 |
wenzelm |
clarified tool name -- more official status;
|
changeset |
files
|
| Sun, 23 Apr 2017 14:53:35 +0200 |
haftmann |
more lemmas
|
changeset |
files
|
| Sun, 23 Apr 2017 14:53:33 +0200 |
haftmann |
include GCD as integral part of computational algebra in session HOL
|
changeset |
files
|