| changeset 82663 | bd951e02d6b9 |
| parent 80914 | d97fdabd9e2b |
| child 82696 | 032c2aac4454 |
--- 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]]