src/Pure/Isar/local_theory.ML
changeset 22846 fb79144af9a3
parent 22240 36cc1875619f
child 24020 ed4d7abffee7
     1.1 --- a/src/Pure/Isar/local_theory.ML	Sun May 06 21:50:17 2007 +0200
     1.2 +++ b/src/Pure/Isar/local_theory.ML	Mon May 07 00:49:59 2007 +0200
     1.3 @@ -88,12 +88,9 @@
     1.4  
     1.5  structure Data = ProofDataFun
     1.6  (
     1.7 -  val name = "Pure/local_theory";
     1.8    type T = lthy option;
     1.9    fun init _ = NONE;
    1.10 -  fun print _ _ = ();
    1.11  );
    1.12 -val _ = Context.add_setup Data.init;
    1.13  
    1.14  fun get_lthy lthy =
    1.15    (case Data.get lthy of