Changes

Summary

1. clarified parent session images, to avoid duplicate loading of theories; avoid name conflict with loaded theory src/HOL/Library/Parallel.thy;
2. clarified parent session images, to avoid duplicate loading of theories;
3. clarified meaning of "isabelle jedit -R": avoid potential problems with all_known = true;
4. clarified modules;