src/HOL/Tools/Nitpick/nitpick_hol.ML
changeset 41803 ef13e3b7cbaf
parent 41795 79a79460b70c
child 41859 c3a5912d0922
     1.1 --- a/src/HOL/Tools/Nitpick/nitpick_hol.ML	Mon Feb 21 16:33:21 2011 +0100
     1.2 +++ b/src/HOL/Tools/Nitpick/nitpick_hol.ML	Mon Feb 21 17:36:32 2011 +0100
     1.3 @@ -27,6 +27,7 @@
     1.4       destroy_constrs: bool,
     1.5       specialize: bool,
     1.6       star_linear_preds: bool,
     1.7 +     preconstrs: (term option * bool option) list,
     1.8       tac_timeout: Time.time option,
     1.9       evals: term list,
    1.10       case_names: (string * int) list,
    1.11 @@ -257,6 +258,7 @@
    1.12     destroy_constrs: bool,
    1.13     specialize: bool,
    1.14     star_linear_preds: bool,
    1.15 +   preconstrs: (term option * bool option) list,
    1.16     tac_timeout: Time.time option,
    1.17     evals: term list,
    1.18     case_names: (string * int) list,