Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/Tools/Meson/meson.ML
changeset 82967 73af47bc277c
parent 82805 61aae966dd95 
--- a/src/HOL/Tools/Meson/meson.ML	Thu Aug 07 20:33:28 2025 +0200
+++ b/src/HOL/Tools/Meson/meson.ML	Thu Aug 07 21:40:03 2025 +0200
@@ -543,7 +543,7 @@
   "Let_def [abs_def]". *)
 fun nnf_ss simp_options =
   simpset_of (put_simpset HOL_basic_ss \<^context>
-    addsimps (nnf_extra_simps simp_options)
+    |> Simplifier.add_simps (nnf_extra_simps simp_options)
     |> fold Simplifier.add_proc
       [\<^simproc>\<open>defined_All\<close>, \<^simproc>\<open>defined_Ex\<close>, \<^simproc>\<open>neq\<close>, \<^simproc>\<open>let_simp\<close>])
isabelle