added forall_elim_vars_safe, norm_hhf_eq;
added forall_elim_vars_safe, norm_hhf_eq;

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