| author | huffman |
| Wed, 23 Aug 2006 21:57:43 +0200 | |
| changeset 20407 | 93a34d5d1dc5 |
| 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";