1.1 --- a/src/HOL/Nitpick.thy	Wed Nov 11 09:02:37 2009 +0100
     1.2 +++ b/src/HOL/Nitpick.thy	Tue Nov 17 23:47:57 2009 +0100
     1.3 @@ -213,7 +213,7 @@
     1.4  (* While Nitpick normally avoids to unfold definitions for locales, it
     1.5     unfortunately needs to unfold them when dealing with the following built-in
     1.6     constants. A cleaner approach would be to change "Nitpick_HOL" and
     1.7 -   "Nitpick_Nits" so that they handle the unexpanded overloaded constants
     1.8 +   "Nitpick_Nut" so that they handle the unexpanded overloaded constants
     1.9     directly, but this is slightly more tricky to implement. *)
    1.10  lemmas [nitpick_def] = div_int_inst.div_int div_int_inst.mod_int
    1.11      div_nat_inst.div_nat div_nat_inst.mod_nat lower_semilattice_fun_inst.inf_fun