src/Pure/assumption.ML

--- a/src/Pure/assumption.ML	Sun May 06 21:50:17 2007 +0200
+++ b/src/Pure/assumption.ML	Mon May 07 00:49:59 2007 +0200
@@ -62,14 +62,10 @@
 
 structure Data = ProofDataFun
 (
-  val name = "Pure/assumption";
   type T = data;
   fun init _ = make_data ([], []);
-  fun print _ _ = ();
 );
 
-val _ = Context.add_setup Data.init;
-
 fun map_data f = Data.map (fn Data {assms, prems} => make_data (f (assms, prems)));
 fun rep_data ctxt = Data.get ctxt |> (fn Data args => args);