equal
deleted
inserted
replaced
266 ML_file "Isar/named_target.ML"; |
266 ML_file "Isar/named_target.ML"; |
267 ML_file "Isar/expression.ML"; |
267 ML_file "Isar/expression.ML"; |
268 ML_file "Isar/interpretation.ML"; |
268 ML_file "Isar/interpretation.ML"; |
269 ML_file "Isar/class_declaration.ML"; |
269 ML_file "Isar/class_declaration.ML"; |
270 ML_file "Isar/bundle.ML"; |
270 ML_file "Isar/bundle.ML"; |
|
271 ML_file "Isar/target_context.ML"; |
271 ML_file "Isar/experiment.ML"; |
272 ML_file "Isar/experiment.ML"; |
272 |
273 |
273 ML_file "simplifier.ML"; |
274 ML_file "simplifier.ML"; |
274 ML_file "Tools/plugin.ML"; |
275 ML_file "Tools/plugin.ML"; |
275 |
276 |