added theory_data.ML;

--- a/src/Pure/IsaMakefile	Mon Jun 08 15:57:30 1998 +0200
+++ b/src/Pure/IsaMakefile	Mon Jun 08 15:57:50 1998 +0200
@@ -36,7 +36,7 @@
   drule.ML envir.ML goals.ML install_pp.ML library.ML logic.ML \
   name_space.ML net.ML object.ML pattern.ML pure_thy.ML search.ML \
   seq.ML sign.ML sorts.ML table.ML tactic.ML tctical.ML term.ML \
-  theory.ML thm.ML type.ML type_infer.ML unify.ML
+  theory.ML theory_data.ML thm.ML type.ML type_infer.ML unify.ML
 	@./mk
 
 

--- a/src/Pure/ROOT.ML	Mon Jun 08 15:57:30 1998 +0200
+++ b/src/Pure/ROOT.ML	Mon Jun 08 15:57:50 1998 +0200
@@ -37,6 +37,7 @@
 use "net.ML";
 use "logic.ML";
 use "theory.ML";
+use "theory_data.ML";
 use "thm.ML";
 use "display.ML";
 use "attribute.ML";