src/Pure/Tools/ROOT.ML

fulfill_proof/thm_proof: commuted lazyness;

(*  Title:      Pure/Tools/ROOT.ML
    ID:         $Id$

Miscellaneous tools and packages for Pure Isabelle.
*)

use "value.ML";
use "quickcheck.ML";
use "named_thms.ML";
use "isabelle_process.ML";

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

(*derived theory and proof elements*)
use "invoke.ML";