moved parts to spec_parse.ML; tuned signature -- more exports;
moved parts to spec_parse.ML;
tuned signature -- more exports;

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