Lines Matching refs:string
7 string ->8 (string -> (string * thm) * string -> bool) ->9 string list ->12 string ->13 (string -> (string * thm) * string -> bool) ->14 (string * thm) list ->15 string list ->19 val write_thydep : string -> string list -> unit20 val reserved_names : string list