| author | ballarin |
| Wed, 19 Jul 2006 19:25:58 +0200 | |
| changeset 20168 | ed7bced29e1b |
| 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";