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_isar.ML
changeset 49618 29be73b789f9
parent 46961 5c6955f487e5
child 49985 5b4b0e4e5205 
--- a/src/HOL/Tools/Nitpick/nitpick_isar.ML	Thu Sep 27 17:00:54 2012 +0200
+++ b/src/HOL/Tools/Nitpick/nitpick_isar.ML	Thu Sep 27 17:00:54 2012 +0200
@@ -44,7 +44,7 @@
 val default_default_params =
   [("card", "1\<emdash>10"),
    ("iter", "0,1,2,4,8,12,16,20,24,28"),
-   ("bits", "1,2,3,4,6,8,10,12,14,16"),
+   ("bits", "1\<emdash>10"),
    ("bisim_depth", "9"),
    ("box", "smart"),
    ("finitize", "smart"),
isabelle