Removed wf_implies_wfP and wfP_implies_wf from list of hints again.
authorberghofe
Wed Jul 11 11:09:15 2007 +0200 (2007-07-11)
changeset 23742d6349ac8b153
parent 23741 1801a921df13
child 23743 52fbc991039f
Removed wf_implies_wfP and wfP_implies_wf from list of hints again.
src/HOL/Recdef.thy
     1.1 --- a/src/HOL/Recdef.thy	Wed Jul 11 11:07:57 2007 +0200
     1.2 +++ b/src/HOL/Recdef.thy	Wed Jul 11 11:09:15 2007 +0200
     1.3 @@ -75,7 +75,5 @@
     1.4    wf_pred_nat
     1.5    wf_same_fst
     1.6    wf_empty
     1.7 -  wf_implies_wfP
     1.8 -  wfP_implies_wf
     1.9  
    1.10  end