src/Pure/variable.ML
changeset 22846 fb79144af9a3
parent 22711 0b18739c3e81
child 24694 54f06f7feefa
     1.1 --- a/src/Pure/variable.ML	Sun May 06 21:50:17 2007 +0200
     1.2 +++ b/src/Pure/variable.ML	Mon May 07 00:49:59 2007 +0200
     1.3 @@ -79,15 +79,11 @@
     1.4  
     1.5  structure Data = ProofDataFun
     1.6  (
     1.7 -  val name = "Pure/variable";
     1.8    type T = data;
     1.9    fun init thy =
    1.10      make_data (false, Name.context, [], Vartab.empty, Symtab.empty, (Vartab.empty, Vartab.empty));
    1.11 -  fun print _ _ = ();
    1.12  );
    1.13  
    1.14 -val _ = Context.add_setup Data.init;
    1.15 -
    1.16  fun map_data f =
    1.17    Data.map (fn Data {is_body, names, fixes, binds, type_occs, constraints} =>
    1.18      make_data (f (is_body, names, fixes, binds, type_occs, constraints)));