cleaned comments; global statements: init history according to interactive mode; local qed: pass interactive mode; init theory: kill operation;
cleaned comments;
global statements: init history according to interactive mode;
local qed: pass interactive mode;
init theory: kill operation;

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