added generic_setup, add_oracle (from isar_thy.ML);
added generic_setup, add_oracle (from isar_thy.ML);

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