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