src/HOL/Nitpick_Examples/Mono_Nits.thy
changeset 41871 394eef237bd1
parent 41805 a96684499e85
child 41875 e3cd0dce9b1a
     1.1 --- a/src/HOL/Nitpick_Examples/Mono_Nits.thy	Wed Mar 02 13:09:57 2011 +0100
     1.2 +++ b/src/HOL/Nitpick_Examples/Mono_Nits.thy	Wed Mar 02 14:50:16 2011 +0100
     1.3 @@ -38,8 +38,8 @@
     1.4    {thy = thy, ctxt = ctxt, max_bisim_depth = ~1, boxes = [],
     1.5     stds = stds, wfs = [], user_axioms = NONE, debug = false,
     1.6     whacks = [], binary_ints = SOME false, destroy_constrs = true,
     1.7 -   specialize = false, star_linear_preds = false, preconstrs = [],
     1.8 -   tac_timeout = NONE, evals = [], case_names = case_names,
     1.9 +   specialize = false, star_linear_preds = false, total_consts = NONE,
    1.10 +   preconstrs = [], tac_timeout = NONE, evals = [], case_names = case_names,
    1.11     def_tables = def_tables, nondef_table = nondef_table,
    1.12     user_nondefs = user_nondefs, simp_table = simp_table,
    1.13     psimp_table = psimp_table, choice_spec_table = choice_spec_table,