1.1 --- a/src/HOL/Tools/Sledgehammer/sledgehammer_isar.ML	Wed Sep 07 13:50:17 2011 +0200
     1.2 +++ b/src/HOL/Tools/Sledgehammer/sledgehammer_isar.ML	Wed Sep 07 13:50:17 2011 +0200
     1.3 @@ -152,8 +152,8 @@
     1.4             error ("Unknown parameter: " ^ quote name ^ "."))
     1.5  
     1.6  
     1.7 -(* Ensure that type systems such as "mono_simple?" and "poly_guards!!" are
     1.8 -   handled correctly. *)
     1.9 +(* Ensures that type encodings such as "mono_simple?" and "poly_guards!!" are
    1.10 +   read correctly. *)
    1.11  val implode_param = strip_spaces_except_between_idents o space_implode " "
    1.12  
    1.13  structure Data = Theory_Data