src/Pure/sign.ML
changeset 6311 15652e058e28
parent 6191 381b27ca0543
child 6546 995a66249a9b
     1.1 --- a/src/Pure/sign.ML	Tue Mar 09 12:05:07 1999 +0100
     1.2 +++ b/src/Pure/sign.ML	Tue Mar 09 12:06:09 1999 +0100
     1.3 @@ -114,7 +114,7 @@
     1.4    val add_trfunsT:
     1.5      (string * (bool -> typ -> term list -> term)) list -> sg -> sg
     1.6    val add_tokentrfuns:
     1.7 -    (string * string * (string -> string * int)) list -> sg -> sg
     1.8 +    (string * string * (string -> string * real)) list -> sg -> sg
     1.9    val add_trrules: (xstring * string) Syntax.trrule list -> sg -> sg
    1.10    val add_trrules_i: ast Syntax.trrule list -> sg -> sg
    1.11    val add_path: string -> sg -> sg