| changeset 62058 | 1cfd5d604937 |
| parent 61814 | 1ca1142e1711 |
| child 63239 | d562c9948dee |
| 62057:af58628952f0 | 62058:1cfd5d604937 |
|---|---|
1 (* Title: HOL/Tools/old_recdef.ML |
1 (* Title: HOL/Library/old_recdef.ML |
2 Author: Konrad Slind, Cambridge University Computer Laboratory |
2 Author: Konrad Slind, Cambridge University Computer Laboratory |
3 Author: Lucas Dixon, University of Edinburgh |
3 Author: Lucas Dixon, University of Edinburgh |
4 |
4 |
5 Old TFL/recdef package. |
5 Old TFL/recdef package. |
6 *) |
6 *) |