changeset 30240 | 5b25fee0362c |
parent 30161 | c26e515f1c29 |
1.1 --- a/src/Tools/IsaPlanner/zipper.ML Wed Mar 04 10:43:39 2009 +0100 1.2 +++ b/src/Tools/IsaPlanner/zipper.ML Wed Mar 04 10:45:52 2009 +0100 1.3 @@ -1,5 +1,4 @@ 1.4 (* Title: Tools/IsaPlanner/zipper.ML 1.5 - ID: $Id$ 1.6 Author: Lucas Dixon, University of Edinburgh 1.7 1.8 A notion roughly based on Huet's Zippers for Isabelle terms.