tuned signature;
authorwenzelm
Mon Aug 20 20:44:01 2007 +0200 (2007-08-20)
changeset 2436152a14669f9e9
parent 24360 a0da34cc081c
child 24362 a9fe7ed25fa4
tuned signature;
src/Pure/General/name_space.ML
     1.1 --- a/src/Pure/General/name_space.ML	Mon Aug 20 20:44:00 2007 +0200
     1.2 +++ b/src/Pure/General/name_space.ML	Mon Aug 20 20:44:01 2007 +0200
     1.3 @@ -51,7 +51,7 @@
     1.4    val sticky_prefix: string -> naming -> naming
     1.5    val set_policy: (string -> bstring -> string) * (string list -> string list list) ->
     1.6      naming -> naming
     1.7 -  type 'a table (*= T * 'a Symtab.table*)
     1.8 +  type 'a table = T * 'a Symtab.table
     1.9    val empty_table: 'a table
    1.10    val extend_table: naming -> (bstring * 'a) list -> 'a table -> 'a table
    1.11    val merge_tables: ('a * 'a -> bool) -> 'a table * 'a table -> 'a table