src/HOL/Tools/Nitpick/nitpick_preproc.ML
changeset 35866 513074557e06
parent 35807 e4d1b5cbd429
child 36384 76d5fd5a45fb
     1.1 --- a/src/HOL/Tools/Nitpick/nitpick_preproc.ML	Fri Mar 19 13:02:18 2010 +0100
     1.2 +++ b/src/HOL/Tools/Nitpick/nitpick_preproc.ML	Fri Mar 19 15:07:44 2010 +0100
     1.3 @@ -12,7 +12,7 @@
     1.4      hol_context -> (typ option * bool option) list
     1.5      -> (typ option * bool option) list -> term
     1.6      -> term list * term list * bool * bool * bool
     1.7 -end
     1.8 +end;
     1.9  
    1.10  structure Nitpick_Preproc : NITPICK_PREPROC =
    1.11  struct