equal
deleted
inserted
replaced
222 use "axclass.ML"; |
222 use "axclass.ML"; |
223 use "Isar/class.ML"; |
223 use "Isar/class.ML"; |
224 use "Isar/named_target.ML"; |
224 use "Isar/named_target.ML"; |
225 use "Isar/expression.ML"; |
225 use "Isar/expression.ML"; |
226 use "Isar/class_declaration.ML"; |
226 use "Isar/class_declaration.ML"; |
|
227 use "Isar/bundle.ML"; |
227 |
228 |
228 use "simplifier.ML"; |
229 use "simplifier.ML"; |
229 |
230 |
230 (*executable theory content*) |
231 (*executable theory content*) |
231 use "Isar/code.ML"; |
232 use "Isar/code.ML"; |