src/Pure/Tools/ROOT.ML

export eq_brl;

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

use "am_interpreter.ML";
use "am_compiler.ML"; 
use "am_util.ML";
use "compute.ML";