1.1 --- a/src/HOL/Tools/ATP/atp_problem.ML	Thu May 12 15:29:18 2011 +0200
     1.2 +++ b/src/HOL/Tools/ATP/atp_problem.ML	Thu May 12 15:29:18 2011 +0200
     1.3 @@ -169,7 +169,7 @@
     1.4        | keep (c :: cs) = c :: keep cs
     1.5    in String.explode #> rev #> keep #> rev #> String.implode end
     1.6  
     1.7 -val max_readable_name_size = 24
     1.8 +val max_readable_name_size = 20
     1.9  
    1.10  (* "op" is also reserved, to avoid the unreadable "op_1", "op_2", etc., in the
    1.11     problem files. "equal" is reserved by some ATPs. "eq" is reserved to ensure