added cheating, sorry_text (from skip_proofs.ML); added method_setup (from isar_thy.ML);
added cheating, sorry_text (from skip_proofs.ML);
added method_setup (from isar_thy.ML);

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