src/Pure/assumption.ML
changeset 22846 fb79144af9a3
parent 21679 06715e253686
child 26392 748b263f0e40
     1.1 --- a/src/Pure/assumption.ML	Sun May 06 21:50:17 2007 +0200
     1.2 +++ b/src/Pure/assumption.ML	Mon May 07 00:49:59 2007 +0200
     1.3 @@ -62,14 +62,10 @@
     1.4  
     1.5  structure Data = ProofDataFun
     1.6  (
     1.7 -  val name = "Pure/assumption";
     1.8    type T = data;
     1.9    fun init _ = make_data ([], []);
    1.10 -  fun print _ _ = ();
    1.11  );
    1.12  
    1.13 -val _ = Context.add_setup Data.init;
    1.14 -
    1.15  fun map_data f = Data.map (fn Data {assms, prems} => make_data (f (assms, prems)));
    1.16  fun rep_data ctxt = Data.get ctxt |> (fn Data args => args);
    1.17