Changes

Summary

1. merged
2. misc tuning and modernization;
3. uniform import_name, with treatment of global and qualified theories;
4. tuned signature;
5. more concise criterion
6. tuned
7. more on lists
8. store totality fact in function info
9. allow to load this into "isabelle jedit -l HOL";
10. print like syntax of Thy_Header.header;
11. more explicit types;
12. proper name according to meaning;
13. more main sessions and global theories;
14. eliminated redundant imports;
15. eliminated Plain_HOLCF.thy (see also 8e92772bc0e8): it was modeled after HOL/Plain.thy which was discontinued later;
16. tuned (see also 1fa1023b13b9);
17. tuned header;
18. tuned signature;
19. proper base name;
20. tuned;
21. tuned syntax; some official documentation;
22. clarified: allow to qualify theories from ROOT;
23. refer to global_theories from all sessions, before selection;
24. tuned signature;
25. tuned;
26. macbroy30 is on 10.12 Sierra (already since 04-Mar-2017) -- discontinued support for 10.8 Mountain Lion;
27. back to more liberal imports (amending 908a27a4b9c9): tolerate mixed situations like "GCD" vs. "~~/src/HOL/GCD";
28. tuned headers;
29. proper imports; tuned headers;