changeset 41959 | b460124855b8 |
parent 41228 | e1fce873b814 |
child 42287 | d98eb048a2e4 |
41958:5abc60a017e0 | 41959:b460124855b8 |
---|---|
1 (* Title: Pure/Isar/theory_target.ML |
1 (* Title: Pure/Isar/generic_target.ML |
2 Author: Makarius |
2 Author: Makarius |
3 Author: Florian Haftmann, TU Muenchen |
3 Author: Florian Haftmann, TU Muenchen |
4 |
4 |
5 Common target infrastructure. |
5 Common target infrastructure. |
6 *) |
6 *) |