src/Pure/Tools/ROOT.ML

Add icon for interface.

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

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