export map_tags; added multi_resolve(s) -- from Isar/method.ML;
export map_tags;
added multi_resolve(s) -- from Isar/method.ML;

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