src/Pure/IsaPlanner/ROOT.ML

the new subst tactic, by Lucas Dixon

(*  ID:         $Id$
    Author:     Lucas Dixon, University of Edinburgh
                [e-mail]

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