prep_meta_eq: reuse mk_rews of local simpset; adapted ML code to common conventions; tuned;
prep_meta_eq: reuse mk_rews of local simpset;
adapted ML code to common conventions;
tuned;

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