changeset 72453 | e4dde7beab39 |
parent 72052 | 912f13865596 |
child 72536 | 589645894305 |
--- a/src/Pure/ROOT.ML Mon Oct 12 07:25:38 2020 +0000 +++ b/src/Pure/ROOT.ML Mon Oct 12 07:25:38 2020 +0000 @@ -268,6 +268,7 @@ ML_file "Isar/interpretation.ML"; ML_file "Isar/class_declaration.ML"; ML_file "Isar/bundle.ML"; +ML_file "Isar/target_context.ML"; ML_file "Isar/experiment.ML"; ML_file "simplifier.ML";