src/Pure/IsaPlanner/ROOT.ML
author haftmann
Tue Sep 06 08:30:43 2005 +0200 (2005-09-06)
changeset 17271 2756a73f63a5
parent 15481 fc075ae929e4
permissions -rw-r--r--
introduced some new-style AList operations
paulson@15481
     1
(*  ID:         $Id$
paulson@15481
     2
    Author:     Lucas Dixon, University of Edinburgh
paulson@15481
     3
                lucasd@dai.ed.ac.uk
paulson@15481
     4
paulson@15481
     5
The IsaPlanner subsystem.
paulson@15481
     6
*)
paulson@15481
     7
paulson@15481
     8
use "isand.ML";
paulson@15481
     9
use "isaplib.ML";
paulson@15481
    10
use "term_lib.ML";
paulson@15481
    11
use "upterm_lib.ML";
paulson@15481
    12
use "focus_term_lib.ML";
paulson@15481
    13
use "rw_tools.ML";
paulson@15481
    14
use "rw_inst.ML";
paulson@15481
    15
use "isa_fterm.ML";