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/Nitpick/nitpick_hol.ML
changeset 36388 30f7ce76712d
parent 36385 ff5f88702590
child 36389 8228b3a4a2ba 
--- a/src/HOL/Tools/Nitpick/nitpick_hol.ML	Sat Apr 24 16:44:45 2010 +0200
+++ b/src/HOL/Tools/Nitpick/nitpick_hol.ML	Sat Apr 24 17:48:21 2010 +0200
@@ -27,7 +27,6 @@
     specialize: bool,
     skolemize: bool,
     star_linear_preds: bool,
-    uncurry: bool,
     fast_descrs: bool,
     tac_timeout: Time.time option,
     evals: term list,
@@ -238,7 +237,6 @@
   specialize: bool,
   skolemize: bool,
   star_linear_preds: bool,
-  uncurry: bool,
   fast_descrs: bool,
   tac_timeout: Time.time option,
   evals: term list,
isabelle