src/HOL/Tools/Nitpick/nitpick.ML

       let val pretties = map (pretty_maybe_quote o pretty_for_type ctxt) Ts in
         Pretty.blk (0,
           pstrs ("The type" ^ plural_s_for_list pretties ^ " ") @
           pretty_serial_commas "and" pretties @
           pstrs (" " ^
-          (if none_true monos then
-             "passed the monotonicity test"
-           else
-             (if length pretties = 1 then "is" else "are") ^ " considered monotonic") ^
-          ". " ^ extra))
+                 (if none_true monos then
+                    "passed the monotonicity test"
+                  else
+                    (if length pretties = 1 then "is" else "are") ^
+                    " considered monotonic") ^
+                 ". " ^ extra))
       end
     fun is_type_fundamentally_monotonic T =
       (is_datatype ctxt stds T andalso not (is_quot_type ctxt T) andalso
        (not (is_pure_typedef ctxt T) orelse is_univ_typedef ctxt T)) orelse
       is_number_type ctxt T orelse is_bit_type T