author | blanchet |
Wed, 13 Jul 2011 22:16:19 +0200 | |
changeset 43810 | efcdaaa1c7d3 |
parent 43809 | 151288f723dc |
child 43811 | 402e1a0d93d9 |
--- a/src/HOL/Tools/Nitpick/nitrox.ML Wed Jul 13 22:16:19 2011 +0200 +++ b/src/HOL/Tools/Nitpick/nitrox.ML Wed Jul 13 22:16:19 2011 +0200 @@ -115,7 +115,8 @@ *) val state = Proof.init @{context} val params = - [("card", "1\<emdash>8"), + [("card iota", "1\<emdash>100"), + ("card", "1\<emdash>8"), ("box", "false"), ("sat_solver", "smart"), ("max_threads", "1"),