added declare_typ; simult_matches: Unify.matchers;
added declare_typ;
simult_matches: Unify.matchers;

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