moved subst/hypsubst to "Basic proof tools"; tuned;
moved subst/hypsubst to "Basic proof tools";
tuned;

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