1.1 --- a/src/HOL/Tools/Nitpick/nitpick_hol.ML	Tue Nov 17 19:12:10 2009 +0100
     1.2 +++ b/src/HOL/Tools/Nitpick/nitpick_hol.ML	Tue Nov 17 23:47:57 2009 +0100
     1.3 @@ -1416,8 +1416,8 @@
     1.4      SOME t' => is_constr_pattern_lhs thy t'
     1.5    | NONE => false
     1.6  
     1.7 -val unfold_max_depth = 63
     1.8 -val axioms_max_depth = 63
     1.9 +val unfold_max_depth = 255
    1.10 +val axioms_max_depth = 255
    1.11  
    1.12  (* extended_context -> term -> term *)
    1.13  fun unfold_defs_in_term (ext_ctxt as {thy, destroy_constrs, fast_descrs,