| changeset 24104 | 719fbe4fb77f |
| parent 14981 | e73f8140af78 |
| child 41589 | bbd861837ebc |
| 24103:c13243a11e37 | 24104:719fbe4fb77f |
|---|---|
1 (* Title: HOL/Prolog/ROOT.ML |
1 (* Title: HOL/Prolog/ROOT.ML |
2 ID: $Id$ |
2 ID: $Id$ |
3 Author: David von Oheimb (based on a lecture on Lambda Prolog by Nadathur) |
3 Author: David von Oheimb (based on a lecture on Lambda Prolog by Nadathur) |
4 *) |
4 *) |
5 |
5 |
6 use_thy"Test"; |
6 use_thys ["Test", "Type"]; |
7 use_thy"Type"; |