src/HOL/Tools/Sledgehammer/sledgehammer_isar.ML

            ("lam_trans", [name])
          else
            error ("Unknown parameter: " ^ quote name ^ "."))
 
 
-(* Ensures that type encodings such as "mono_simple?" and "poly_guards!!" are
+(* Ensures that type encodings such as "mono_native?" and "poly_guards!!" are
    read correctly. *)
 val implode_param = strip_spaces_except_between_idents o space_implode " "
 
 structure Data = Theory_Data
 (