src/HOL/Tools/Nitpick/nitpick_model.ML
changeset 36384 76d5fd5a45fb
parent 35845 e5980f0ad025
child 36385 ff5f88702590
     1.1 --- a/src/HOL/Tools/Nitpick/nitpick_model.ML	Sat Apr 24 16:05:42 2010 +0200
     1.2 +++ b/src/HOL/Tools/Nitpick/nitpick_model.ML	Sat Apr 24 16:17:30 2010 +0200
     1.3 @@ -16,6 +16,7 @@
     1.4      show_skolems: bool,
     1.5      show_datatypes: bool,
     1.6      show_consts: bool}
     1.7 +
     1.8    type term_postprocessor =
     1.9      Proof.context -> string -> (typ -> term list) -> typ -> term -> term
    1.10