src/Pure/term.ML
changeset 15598 4ab52355bb53
parent 15574 b1d1b5bfc464
child 15612 431b281078b3
     1.1 --- a/src/Pure/term.ML	Thu Mar 10 09:11:57 2005 +0100
     1.2 +++ b/src/Pure/term.ML	Thu Mar 10 17:48:36 2005 +0100
     1.3 @@ -133,6 +133,7 @@
     1.4    val maxidx_of_terms: term list -> int
     1.5    val variant: string list -> string -> string
     1.6    val variantlist: string list * string list -> string list
     1.7 +        (* note reversed order of args wrt. variant! *)
     1.8    val variant_abs: string * typ * term -> string * term
     1.9    val rename_wrt_term: term -> (string * typ) list -> (string * typ) list
    1.10    val add_new_id: string list * string -> string list