diff -r ba2bcae7aafd -r ba8f5e4fa336 src/Pure/ROOT.ML
--- a/src/Pure/ROOT.ML	Fri Nov 23 17:37:56 2007 +0100
+++ b/src/Pure/ROOT.ML	Fri Nov 23 21:09:30 2007 +0100
@@ -74,6 +74,7 @@
 use "conjunction.ML";
 use "assumption.ML";
 use "goal.ML";
+use "typedecl.ML";
 use "axclass.ML";
 
 (*proof term operations*)