src/Pure/sign.ML
changeset 4140 c62df16811fe
parent 4124 1af16493c57f
child 4227 a5c947d7c56c
--- a/src/Pure/sign.ML	Wed Nov 05 11:33:05 1997 +0100
+++ b/src/Pure/sign.ML	Wed Nov 05 11:33:45 1997 +0100
@@ -102,7 +102,7 @@
     (bstring * (term list -> term)) list *
     (bstring * (ast list -> ast)) list -> sg -> sg
   val add_trfunsT:
-    (bstring * (typ -> term list -> term)) list -> sg -> sg
+    (bstring * (bool -> typ -> term list -> term)) list -> sg -> sg
   val add_tokentrfuns:
     (string * string * (string -> string * int)) list -> sg -> sg
   val add_trrules: (string * string) Syntax.trrule list -> sg -> sg