adapted extend_trfunsT;
authorwenzelm
Wed Nov 05 11:41:18 1997 +0100 (1997-11-05)
changeset 4145ffb0c9670597
parent 4144 873489c611fc
child 4146 00136226f74b
adapted extend_trfunsT;
src/Pure/Syntax/syntax.ML
     1.1 --- a/src/Pure/Syntax/syntax.ML	Wed Nov 05 11:40:51 1997 +0100
     1.2 +++ b/src/Pure/Syntax/syntax.ML	Wed Nov 05 11:41:18 1997 +0100
     1.3 @@ -36,7 +36,7 @@
     1.4      (string * (term list -> term)) list *
     1.5      (string * (term list -> term)) list *
     1.6      (string * (ast list -> ast)) list -> syntax
     1.7 -  val extend_trfunsT: syntax -> (string * (typ -> term list -> term)) list -> syntax
     1.8 +  val extend_trfunsT: syntax -> (string * (bool -> typ -> term list -> term)) list -> syntax
     1.9    val extend_tokentrfuns: syntax -> (string * string * (string -> string * int)) list -> syntax
    1.10    val extend_trrules: syntax -> (string * string) trrule list -> syntax
    1.11    val extend_trrules_i: syntax -> ast trrule list -> syntax
    1.12 @@ -169,7 +169,7 @@
    1.13      parse_ast_trtab: ast trtab,
    1.14      parse_ruletab: ruletab,
    1.15      parse_trtab: term trtab,
    1.16 -    print_trtab: ((typ -> term list -> term) * stamp) Symtab.table,
    1.17 +    print_trtab: ((bool -> typ -> term list -> term) * stamp) Symtab.table,
    1.18      print_ruletab: ruletab,
    1.19      print_ast_trtab: ast trtab,
    1.20      tokentrtab: (string * (string * ((string -> string * int) * stamp)) list) list,