changeset 30161 | c26e515f1c29 |
parent 23175 | 267ba70e7a9d |
1.1 --- a/src/Tools/IsaPlanner/zipper.ML Sat Feb 28 14:02:12 2009 +0100 1.2 +++ b/src/Tools/IsaPlanner/zipper.ML Sat Feb 28 14:09:58 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.