--- a/src/Pure/Tools/ROOT.ML Sun Jul 29 14:30:01 2007 +0200
+++ b/src/Pure/Tools/ROOT.ML Sun Jul 29 14:30:02 2007 +0200
@@ -4,6 +4,8 @@
Miscellaneous tools and packages for Pure Isabelle.
*)
+use "named_thms.ML";
+
(*basic XML support*)
use "xml.ML";
use "xml_syntax.ML";