load late, after proof.ML; added goal commands: theorem, interpretation etc.; tuned some warnings -- single line only;
load late, after proof.ML;
added goal commands: theorem, interpretation etc.;
tuned some warnings -- single line only;

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