changeset 30161 | c26e515f1c29 |
parent 23175 | 267ba70e7a9d |
--- a/src/Tools/IsaPlanner/zipper.ML Sat Feb 28 14:02:12 2009 +0100 +++ b/src/Tools/IsaPlanner/zipper.ML Sat Feb 28 14:09:58 2009 +0100 @@ -1,5 +1,4 @@ (* Title: Tools/IsaPlanner/zipper.ML - ID: $Id$ Author: Lucas Dixon, University of Edinburgh A notion roughly based on Huet's Zippers for Isabelle terms.