(*  Title:      Pure/Tools/ROOT.ML
    ID:         $Id: ROOT.ML,v 1.2 2005/07/14 17:28:35 wenzelm Exp $

Miscellaneous tools and packages for Pure Isabelle.
*)

(*Steven Obua's evaluator*)
use "am_interpreter.ML";
use "am_compiler.ML";
use "am_util.ML";
use "compute.ML";
