src/Pure/library.ML
changeset 15696 1da4ce092c0b
parent 15670 963cd3f7976c
child 15745 33bb955b2e73
     1.1 --- a/src/Pure/library.ML	Mon Apr 11 12:18:27 2005 +0200
     1.2 +++ b/src/Pure/library.ML	Mon Apr 11 12:34:34 2005 +0200
     1.3 @@ -128,6 +128,7 @@
     1.4    val radixstring: int * string * int -> string
     1.5    val string_of_int: int -> string
     1.6    val string_of_indexname: string * int -> string
     1.7 +    (* CB: note alternative Syntax.string_of_vname has nicer syntax *)
     1.8    val read_radixint: int * string list -> int * string list
     1.9    val read_int: string list -> int * string list
    1.10    val oct_char: string -> string