src/Pure/name_space.ML

   val merge: T * T -> T
   val lookup: T -> string -> string
   val prune: T -> string -> string
 end;
 
-structure NameSpace(*: NAME_SPACE FIXME *) =
+structure NameSpace: NAME_SPACE =
 struct
 
 
 (** long identifiers **)
 

 fun entries_of (NameSpace (entries, _)) = entries;
 fun tab_of (NameSpace (_, tab)) = tab;
 
 fun make entries =
   let
-    fun accesses [] = []		(* FIXME !? *)
+    fun accesses [] = []
       | accesses entry =
           let
             val p = pack entry;
             val (q, b) = split_last entry;
             val sfxs = suffixes1 entry;