src/Pure/ML/ml_antiquote.ML

 
 (** generic tools **)
 
 (* ML names *)
 
-structure NamesData = ProofDataFun
+structure NamesData = Proof_Data
 (
   type T = Name.context;
   fun init _ = ML_Syntax.reserved;
 );