src/Pure/ROOT.ML

--- a/src/Pure/ROOT.ML	Sun May 29 05:23:28 2005 +0200
+++ b/src/Pure/ROOT.ML	Sun May 29 12:39:12 2005 +0200
@@ -36,6 +36,7 @@
 use "unify.ML";
 use "net.ML";
 use "logic.ML";
+use "defs.ML";
 use "theory.ML";
 use "theory_data.ML";
 use "context.ML";