--- a/src/Pure/variable.ML Sun May 06 21:50:17 2007 +0200
+++ b/src/Pure/variable.ML Mon May 07 00:49:59 2007 +0200
@@ -79,15 +79,11 @@
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)));