signature stringfindreplace = sig val subst : {redex:string,residue:string} list -> string -> string end
HOL 4, Kananaskis-13