Removed wf_implies_wfP and wfP_implies_wf from list of hints again.
Removed wf_implies_wfP and wfP_implies_wf from list of hints again.

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