Summary
- actually use theory;
- clarified parent session images, to avoid duplicate loading of theories;
- merged
- tuned documentation;
- support for potential session imports;
- more checks;
- tuned messages;
- actually use theory; tuned;
- renamed theory to avoid conflict with loaded theory "Tree" from HOL-Library;
- support for Mercurial manifest check;
- tuned;
- more operations;
- support for multiple operations via options;
- clarified tool name -- more official status;