simplified outer syntax setup; slightly more uniform Isabelle/ML indentation style;
simplified outer syntax setup;
slightly more uniform Isabelle/ML indentation style;

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