changeset 30161 | c26e515f1c29 |
parent 23175 | 267ba70e7a9d |
child 40627 | becf5d5187cc |
30160:5f7b17941730 | 30161:c26e515f1c29 |
---|---|
1 (* Title: Tools/IsaPlanner/rw_tools.ML |
1 (* Title: Tools/IsaPlanner/rw_tools.ML |
2 ID: $Id$ |
|
3 Author: Lucas Dixon, University of Edinburgh |
2 Author: Lucas Dixon, University of Edinburgh |
4 |
3 |
5 Term related tools used for rewriting. |
4 Term related tools used for rewriting. |
6 *) |
5 *) |
7 |
6 |