equal
deleted
inserted
replaced
218 |
218 |
219 (*executable theory content*) |
219 (*executable theory content*) |
220 use "Isar/code.ML"; |
220 use "Isar/code.ML"; |
221 |
221 |
222 (*specifications*) |
222 (*specifications*) |
223 use "Isar/spec_parse.ML"; |
223 use "Isar/parse_spec.ML"; |
224 use "Isar/spec_rules.ML"; |
224 use "Isar/spec_rules.ML"; |
225 use "Isar/specification.ML"; |
225 use "Isar/specification.ML"; |
226 use "Isar/typedecl.ML"; |
226 use "Isar/typedecl.ML"; |
227 use "Isar/constdefs.ML"; |
227 use "Isar/constdefs.ML"; |
228 |
228 |