#827 (Apr 5, 2017, 12:37:05 PM)

1. allow to load this into "isabelle jedit -l HOL"; (detail / hgweb)
2. print like syntax of Thy_Header.header; (detail / hgweb)
3. more explicit types; (detail / hgweb)
4. proper name according to meaning; (detail / hgweb)
5. more main sessions and global theories; (detail / hgweb)
6. eliminated redundant imports; (detail / hgweb)
7. eliminated Plain_HOLCF.thy (see also 8e92772bc0e8): it was modeled after HOL/Plain.thy which was discontinued later; (detail / hgweb)
8. tuned (see also 1fa1023b13b9); (detail / hgweb)
9. tuned header; (detail / hgweb)
10. tuned signature; (detail / hgweb)
11. proper base name; (detail / hgweb)
12. tuned; (detail / hgweb)
13. tuned syntax;
    some official documentation; (detail / hgweb)
14. clarified: allow to qualify theories from ROOT; (detail / hgweb)
15. refer to global_theories from all sessions, before selection; (detail / hgweb)
16. tuned signature; (detail / hgweb)
17. tuned; (detail / hgweb)

Started by an SCM change

This run spent:

• 5 min 3 sec waiting;
• 2 hr 55 min build duration;
• 3 hr 0 min total from scheduled to completion.