removed obsolete BasisLibrary; proof_general.ML: setmp proofs 1 to capture sane default preferences;
removed obsolete BasisLibrary;
proof_general.ML: setmp proofs 1 to capture sane default preferences;

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