src/Pure/ROOT.ML

 use "tactic.ML";
 use "meta_simplifier.ML";
 use "conjunction.ML";
 use "assumption.ML";
 use "goal.ML";
+use "typedecl.ML";
 use "axclass.ML";
 
 (*proof term operations*)
 use "Proof/reconstruct.ML";
 use "Proof/proof_syntax.ML";