src/Pure/ROOT.ML

--- a/src/Pure/ROOT.ML	Thu Jul 27 13:43:01 2006 +0200
+++ b/src/Pure/ROOT.ML	Thu Jul 27 13:43:03 2006 +0200
@@ -53,6 +53,7 @@
 use "search.ML";
 use "meta_simplifier.ML";
 use "conjunction.ML";
+use "assumption.ML";
 use "goal.ML";
 use "tactic.ML";