equal
deleted
inserted
replaced
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 "new_locale.ML"; |
58 use "expression.ML"; |
|
59 use "class.ML"; |
58 use "class.ML"; |
60 use "theory_target.ML"; |
59 use "theory_target.ML"; |
|
60 use "expression.ML"; |
61 use "instance.ML"; |
61 use "instance.ML"; |
62 use "subclass.ML"; |
62 use "subclass.ML"; |
63 |
63 |
64 (*complex proof machineries*) |
64 (*complex proof machineries*) |
65 use "../simplifier.ML"; |
65 use "../simplifier.ML"; |