src/Pure/Tools/ROOT.ML

moved isabelle_process.ML, isabelle_process.scala, isar.ML, session.ML to Pure/System/ (together with associated Isar commands);

(*  Title:      Pure/Tools/ROOT.ML

Miscellaneous tools and packages for Pure Isabelle.
*)

use "named_thms.ML";

(*basic XML support*)
use "xml_syntax.ML";

use "find_theorems.ML";
use "find_consts.ML";

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