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_package/mutual.ML
changeset 22244 264eabb113d3
parent 22166 0a50d4db234a
child 22323 b8c227d8ca91 
--- a/src/HOL/Tools/function_package/mutual.ML	Mon Feb 05 12:03:52 2007 +0100
+++ b/src/HOL/Tools/function_package/mutual.ML	Mon Feb 05 15:55:32 2007 +0100
@@ -366,7 +366,7 @@
                      psimps=map expand mpsimps, subset_pinducts=[expand subset_pinduct], simple_pinducts=map expand minducts,
                      cases=expand cases, termination=expand mtermination,
                      domintros=map_option (map expand) domintros,
-                     trsimps=map_option (map expand) trsimps}
+                     trsimps=map_option (map expand) mtrsimps}
     end
isabelle