Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Removed wf_implies_wfP and wfP_implies_wf from list of hints again.
authorberghofe
Wed, 11 Jul 2007 11:09:15 +0200
changeset 23742 d6349ac8b153
parent 23741 1801a921df13
child 23743 52fbc991039f
Removed wf_implies_wfP and wfP_implies_wf from list of hints again.
src/HOL/Recdef.thy file | annotate | diff | comparison | revisions 
--- a/src/HOL/Recdef.thy	Wed Jul 11 11:07:57 2007 +0200
+++ b/src/HOL/Recdef.thy	Wed Jul 11 11:09:15 2007 +0200
@@ -75,7 +75,5 @@
   wf_pred_nat
   wf_same_fst
   wf_empty
-  wf_implies_wfP
-  wfP_implies_wf
 
 end
isabelle