
diff -r d93ead9ac6df -r 032c2aac4454 src/Sequents/Sequents.thy
--- a/src/Sequents/Sequents.thy	Thu Jun 12 12:44:47 2025 +0200
+++ b/src/Sequents/Sequents.thy	Thu Jun 12 12:53:54 2025 +0200
@@ -10,8 +10,6 @@
 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]]




