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
     1 (*  ID:         $Id$
     2     Author:     Lucas Dixon, University of Edinburgh
     3                 lucasd@dai.ed.ac.uk
     4 
     5 The IsaPlanner subsystem.
     6 *)
     7 
     8 use "isand.ML";
     9 use "isaplib.ML";
    10 use "term_lib.ML";
    11 use "upterm_lib.ML";
    12 use "focus_term_lib.ML";
    13 use "rw_tools.ML";
    14 use "rw_inst.ML";
    15 use "isa_fterm.ML";