added parse_document (optional unchecked header material);
parse: parse_document instead of parse_element;
(* Title: Pure/Tools/ROOT.ML
ID: $Id$
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";