src/Provers/IsaPlanner/ROOT.ML
author wenzelm
Thu Dec 07 00:42:04 2006 +0100 (2006-12-07)
changeset 21687 f689f729afab
parent 19835 81d6dc597559
permissions -rw-r--r--
reorganized structure Goal vs. Tactic;
     1 (*  ID:         $Id$
     2     Author:     Lucas Dixon, University of Edinburgh
     3                 lucas.dixon@ed.ac.uk
     4 
     5 The IsaPlanner subsystem.
     6 *)
     7 
     8 (* Generic notion of term Zippers *)
     9 use "zipper.ML";
    10 
    11 (* Some tools for manipulation of proofs following a ND style *)
    12 use "isand.ML";
    13 
    14 (* some tools for rewriting *)
    15 use "rw_tools.ML";
    16 use "rw_inst.ML";