changeset 78812 | d769a183d51d |
parent 78780 | a611bbfeb9cd |
child 79013 | 4fb5e6499da9 |
--- a/src/Pure/ROOT.ML Sat Oct 21 14:36:47 2023 +0200 +++ b/src/Pure/ROOT.ML Sat Oct 21 21:19:02 2023 +0200 @@ -277,6 +277,7 @@ ML_file "Isar/class_declaration.ML"; ML_file "Isar/target_context.ML"; ML_file "Isar/experiment.ML"; +ML_file "ML/ml_thms.ML"; ML_file "simplifier.ML"; ML_file "Tools/plugin.ML"; @@ -327,7 +328,6 @@ (*ML add-ons*) ML_file "ML/ml_pp.ML"; -ML_file "ML/ml_thms.ML"; ML_file "ML/ml_instantiate.ML"; ML_file "ML/ml_file.ML"; ML_file "ML/ml_pid.ML";