Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/Tools/Function/function.ML
changeset 33552 506f80a9afe8
parent 33457 0fc03a81c27c
child 33666 e49bfeb0d822 
--- a/src/HOL/Tools/Function/function.ML	Tue Nov 10 15:32:43 2009 +0100
+++ b/src/HOL/Tools/Function/function.ML	Tue Nov 10 15:33:35 2009 +0100
@@ -37,8 +37,7 @@
 val simp_attribs = map (Attrib.internal o K)
     [Simplifier.simp_add,
      Code.add_default_eqn_attribute,
-     Nitpick_Simps.add,
-     Quickcheck_RecFun_Simps.add]
+     Nitpick_Simps.add]
 
 val psimp_attribs = map (Attrib.internal o K)
     [Simplifier.simp_add,
isabelle