src/Pure/Tools/ROOT.ML

simplified handling of base sort, dropped axclass

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

(*quickcheck needed here because of pg preferences*)
use "../../Tools/quickcheck.ML"