removed command for loading Provers/simplifier.ML (now done in Pure/Thy/ROOT)
removed command for loading Provers/simplifier.ML (now done in Pure/Thy/ROOT)

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