# HG changeset patch
# User wenzelm
# Date 878726025 -3600
# Node ID c62df16811fe0644078615bc217b5bfaa31f65b0
# Parent  e1659fd7a221bc014c277bced01a350f636bc641
adapted add_trfunsT;

diff -r e1659fd7a221 -r c62df16811fe src/Pure/sign.ML
--- 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