author | wenzelm |
Tue, 13 Jun 2006 23:41:39 +0200 | |
changeset 19876 | 11d447d5d68c |
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";