# HG changeset patch
# User berghofe
# Date 939288920 -7200
# Node ID 9be1caad9782bf467dc0213d2aef2ec73b6e908a
# Parent  fdf7c941a22b5300a4627ee1f939caaea3b03c06
Added file thm_deps.

diff -r fdf7c941a22b -r 9be1caad9782 src/Pure/Thy/ROOT.ML
--- 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";