removed obsolete use_thy (cf. isar_syn.ML);
removed obsolete use_thy (cf. isar_syn.ML);

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