src/Pure/variable.ML

   Data {is_body = is_body, names = names, fixes = fixes, binds = binds,
     type_occs = type_occs, constraints = constraints};
 
 structure Data = ProofDataFun
 (
-  val name = "Pure/variable";
   type T = data;
   fun init thy =
     make_data (false, Name.context, [], Vartab.empty, Symtab.empty, (Vartab.empty, Vartab.empty));
-  fun print _ _ = ();
 );
-
-val _ = Context.add_setup Data.init;
 
 fun map_data f =
   Data.map (fn Data {is_body, names, fixes, binds, type_occs, constraints} =>
     make_data (f (is_body, names, fixes, binds, type_occs, constraints)));