Structure stringfindreplace


Source File Identifier index Theory binding index

signature stringfindreplace =
sig

  val subst : {redex:string,residue:string} list -> string -> string

end


Source File Identifier index Theory binding index

HOL 4, Trindemossen-1