| Mon, 16 Sep 2019 21:42:22 +0200 |
wenzelm |
clarified import_name: observe directory notation more strictly;
|
changeset |
files
|
| Mon, 16 Sep 2019 21:30:30 +0200 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Mon, 16 Sep 2019 20:06:25 +0200 |
wenzelm |
clarified signature -- removed pointless operations;
|
changeset |
files
|
| Mon, 16 Sep 2019 19:48:09 +0200 |
wenzelm |
clarified signature -- removed unused content;
|
changeset |
files
|
| Mon, 16 Sep 2019 19:35:08 +0200 |
wenzelm |
clarified theory imports completion, based on session directories and current master directory (no support for local session-subdirectories);
|
changeset |
files
|
| Mon, 16 Sep 2019 16:00:10 +0200 |
wenzelm |
find theories via session directories only -- ignore known_theories;
|
changeset |
files
|
| Mon, 16 Sep 2019 15:30:38 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
| Mon, 16 Sep 2019 12:03:25 +0200 |
wenzelm |
tuned message;
|
changeset |
files
|
| Mon, 16 Sep 2019 19:31:38 +0200 |
nipkow |
merged
|
changeset |
files
|
| Mon, 16 Sep 2019 18:00:27 +0200 |
nipkow |
tuned
|
changeset |
files
|
| Mon, 16 Sep 2019 17:03:13 +0100 |
paulson |
A little-known material, and some tidying up
|
changeset |
files
|
| Sun, 15 Sep 2019 17:24:31 +0200 |
wenzelm |
merged
|
changeset |
files
|
| Sun, 15 Sep 2019 17:01:35 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
| Sun, 15 Sep 2019 15:49:36 +0200 |
wenzelm |
clarified theory status;
|
changeset |
files
|
| Sun, 15 Sep 2019 15:47:47 +0200 |
wenzelm |
dump ZF in parallel to HOL Main;
|
changeset |
files
|