export match_rew -- useful for implementing "procs" for rewrite_term;
export match_rew -- useful for implementing "procs" for rewrite_term;

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