--- a/src/FOLP/IFOLP.thy Thu Jun 12 12:53:54 2025 +0200
+++ b/src/FOLP/IFOLP.thy Thu Jun 12 12:59:17 2025 +0200
@@ -9,7 +9,6 @@
imports Pure
begin
-ML_file \<open>~~/src/Tools/simp_legacy.ML\<close>
ML_file \<open>~~/src/Tools/misc_legacy.ML\<close>
setup Pure_Thy.old_appl_syntax_setup