(* Title: Pure/Tools/ROOT.MLMiscellaneous tools and packages for Pure Isabelle.*)use "named_thms.ML";use "isabelle_process.ML";(*basic XML support*)use "xml_syntax.ML";(*quickcheck needed here because of pg preferences*)use "../../Tools/quickcheck.ML"