adapted add_trfunsT;
authorwenzelm
Wed Nov 05 11:33:45 1997 +0100 (1997-11-05)
changeset 4140c62df16811fe
parent 4139 e1659fd7a221
child 4141 b76a49490833
adapted add_trfunsT;
src/Pure/sign.ML
     1.1 --- a/src/Pure/sign.ML	Wed Nov 05 11:33:05 1997 +0100
     1.2 +++ b/src/Pure/sign.ML	Wed Nov 05 11:33:45 1997 +0100
     1.3 @@ -102,7 +102,7 @@
     1.4      (bstring * (term list -> term)) list *
     1.5      (bstring * (ast list -> ast)) list -> sg -> sg
     1.6    val add_trfunsT:
     1.7 -    (bstring * (typ -> term list -> term)) list -> sg -> sg
     1.8 +    (bstring * (bool -> typ -> term list -> term)) list -> sg -> sg
     1.9    val add_tokentrfuns:
    1.10      (string * string * (string -> string * int)) list -> sg -> sg
    1.11    val add_trrules: (string * string) Syntax.trrule list -> sg -> sg