changeset 33651 | e4aad90618ad |
parent 33486 | e1552d8718ac |
child 33752 | 9aa8e961f850 |
--- a/src/HOL/Tools/Predicate_Compile/predicate_compile_quickcheck.ML Thu Nov 12 20:38:59 2009 +0100 +++ b/src/HOL/Tools/Predicate_Compile/predicate_compile_quickcheck.ML Thu Nov 12 20:39:02 2009 +0100 @@ -23,6 +23,8 @@ val options = Options { expected_modes = NONE, + proposed_modes = [], + proposed_names = [], show_steps = true, show_intermediate_results = true, show_proof_trace = false,