changeset 29102 | 2e1011dcd577 |
parent 29006 | abe0f11cfa4e |
child 29252 | ea97aa6aeba2 |
29101:66fe138979f4 | 29102:2e1011dcd577 |
---|---|
1 (* Title: Pure/Isar/theory_target.ML |
1 (* Title: Pure/Isar/theory_target.ML |
2 ID: $Id$ |
|
3 ID: $Id$ |
|
4 Author: Makarius |
2 Author: Makarius |
5 |
3 |
6 Common theory/locale/class/instantiation/overloading targets. |
4 Common theory/locale/class/instantiation/overloading targets. |
7 *) |
5 *) |
8 |
6 |