removed unatomize; added versions of meta_rewrite, unfold, fold;
removed unatomize;
added versions of meta_rewrite, unfold, fold;

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