avoid repeated File.read for theory text (as before); misc tuning and simplification;
avoid repeated File.read for theory text (as before);
misc tuning and simplification;

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle