src/Pure/facts.ML

 
 (* add static entries *)
 
 fun add permissive do_props naming (b, ths) (Facts {facts, props}) =
   let
-    val (name, facts') = if Name.is_nothing b then ("", facts)
+    val (name, facts') = if Binding.is_nothing b then ("", facts)
       else let
         val (space, tab) = facts;
         val (name, space') = NameSpace.declare_binding naming b space;
         val entry = (name, (Static ths, serial ()));
         val tab' = (if permissive then Symtab.update else Symtab.update_new) entry tab