changeset 28795 | 6891e273c33b |
parent 28697 | 140bfb63f893 |
child 28849 | 9458d7a6388a |
28794:4493633ab401 | 28795:6891e273c33b |
---|---|
52 |
52 |
53 (*local theories and targets*) |
53 (*local theories and targets*) |
54 use "local_theory.ML"; |
54 use "local_theory.ML"; |
55 use "overloading.ML"; |
55 use "overloading.ML"; |
56 use "locale.ML"; |
56 use "locale.ML"; |
57 use "new_locale.ML"; |
|
57 use "expression.ML"; |
58 use "expression.ML"; |
58 use "class.ML"; |
59 use "class.ML"; |
59 use "theory_target.ML"; |
60 use "theory_target.ML"; |
60 use "instance.ML"; |
61 use "instance.ML"; |
61 use "subclass.ML"; |
62 use "subclass.ML"; |