author | wenzelm |
Tue, 13 Jun 2006 23:41:41 +0200 | |
changeset 19877 | 705ba8232952 |
parent 19835 | 81d6dc597559 |
permissions | -rw-r--r-- |
(* ID: $Id$ Author: Lucas Dixon, University of Edinburgh lucas.dixon@ed.ac.uk The IsaPlanner subsystem. *) (* Generic notion of term Zippers *) use "zipper.ML"; (* Some tools for manipulation of proofs following a ND style *) use "isand.ML"; (* some tools for rewriting *) use "rw_tools.ML"; use "rw_inst.ML";