removed experimental Poplog/PML support; removed obsolete ML_SUFFIX; some reformatting;
removed experimental Poplog/PML support;
removed obsolete ML_SUFFIX;
some reformatting;

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