removed Pure/Isar/proof_data.ML, Pure/General/object.ML;
removed Pure/Isar/proof_data.ML, Pure/General/object.ML;

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