changeset 30240 | 5b25fee0362c |
parent 23175 | 267ba70e7a9d |
30239:179ff9cb160b | 30240:5b25fee0362c |
---|---|
1 (* Title: Tools/IsaPlanner/zipper.ML |
1 (* Title: Tools/IsaPlanner/zipper.ML |
2 ID: $Id$ |
|
3 Author: Lucas Dixon, University of Edinburgh |
2 Author: Lucas Dixon, University of Edinburgh |
4 |
3 |
5 A notion roughly based on Huet's Zippers for Isabelle terms. |
4 A notion roughly based on Huet's Zippers for Isabelle terms. |
6 *) |
5 *) |
7 |
6 |