diff -r c833618d80eb -r bd951e02d6b9 src/Sequents/Sequents.thy
--- a/src/Sequents/Sequents.thy	Thu May 22 19:59:43 2025 +0200
+++ b/src/Sequents/Sequents.thy	Sat May 24 09:06:26 2025 +0200
@@ -10,6 +10,8 @@
 keywords "print_pack" :: diag
 begin
 
+ML_file \<open>~~/src/Tools/simp_legacy.ML\<close>
+
 setup Pure_Thy.old_appl_syntax_setup
 
 declare [[unify_trace_bound = 20, unify_search_bound = 40]]