(* Title: Pure/Tools/ROOT.ML Miscellaneous tools and packages for Pure Isabelle. *) use "named_thms.ML"; use "isabelle_process.ML"; (*basic XML support*) use "xml_syntax.ML"; (*derived theory and proof elements*) use "invoke.ML";