--- a/src/Pure/General/name_space.ML Mon Aug 20 20:44:00 2007 +0200
+++ b/src/Pure/General/name_space.ML Mon Aug 20 20:44:01 2007 +0200
@@ -51,7 +51,7 @@
val sticky_prefix: string -> naming -> naming
val set_policy: (string -> bstring -> string) * (string list -> string list list) ->
naming -> naming
- type 'a table (*= T * 'a Symtab.table*)
+ type 'a table = T * 'a Symtab.table
val empty_table: 'a table
val extend_table: naming -> (bstring * 'a) list -> 'a table -> 'a table
val merge_tables: ('a * 'a -> bool) -> 'a table * 'a table -> 'a table