(*  ID:         $Id: ROOT.ML,v 1.1 2005/02/01 17:02:06 paulson Exp $
    Author:     Lucas Dixon, University of Edinburgh
                lucasd@dai.ed.ac.uk

The IsaPlanner subsystem.
*)

use "isand.ML";
use "isaplib.ML";
use "term_lib.ML";
use "upterm_lib.ML";
use "focus_term_lib.ML";
use "rw_tools.ML";
use "rw_inst.ML";
use "isa_fterm.ML";