Added file thm_deps.

--- a/src/Pure/Thy/ROOT.ML	Thu Oct 07 11:34:46 1999 +0200
+++ b/src/Pure/Thy/ROOT.ML	Thu Oct 07 11:35:20 1999 +0200
@@ -20,6 +20,7 @@
 use "html.ML";
 use "latex.ML";
 use "present.ML";
+use "thm_deps.ML";
 
 (*theorem database -- user-level interface*)
 use "thm_database.ML";