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/Function/sum_tree.ML
changeset 69593 3dda49e08b9d
parent 67149 e61557884799 
--- a/src/HOL/Tools/Function/sum_tree.ML	Fri Jan 04 21:49:06 2019 +0100
+++ b/src/HOL/Tools/Function/sum_tree.ML	Fri Jan 04 23:22:53 2019 +0100
@@ -21,7 +21,7 @@
 
 (* Theory dependencies *)
 val sumcase_split_ss =
-  simpset_of (put_simpset HOL_basic_ss @{context}
+  simpset_of (put_simpset HOL_basic_ss \<^context>
     addsimps (@{thm Product_Type.split} :: @{thms sum.case}))
 
 (* top-down access in balanced tree *)
isabelle