src/Pure/Tools/ROOT.ML

 (*  Title:      Pure/Tools/ROOT.ML
     ID:         $Id$
 
 Miscellaneous tools and packages for Pure Isabelle.
 *)
+
+use "named_thms.ML";
 
 (*basic XML support*)
 use "xml.ML";
 use "xml_syntax.ML";