src/Pure/Tools/ROOT.ML

moved Tools/xml.ML to General/xml.ML (again);

(*  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";

(*code generator*)
use "../codegen.ML";
use "../../Tools/code/code_name.ML";
use "../../Tools/code/code_funcgr.ML";
use "../../Tools/code/code_thingol.ML";
use "../../Tools/code/code_target.ML";
use "../../Tools/code/code_package.ML";