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/Word/WordShift.thy
changeset 33640 0d82107dc07a
parent 33639 603320b93668
child 37604 1840dc0265da 
--- a/src/HOL/Word/WordShift.thy	Thu Nov 12 17:21:48 2009 +0100
+++ b/src/HOL/Word/WordShift.thy	Thu Nov 12 17:21:51 2009 +0100
@@ -1102,7 +1102,7 @@
    apply simp
   apply (rule bin_nth_rsplit)
      apply simp_all
-  apply (simp add : word_size rev_map map_compose [symmetric])
+  apply (simp add : word_size rev_map)
   apply (rule trans)
    defer
    apply (rule map_ident [THEN fun_cong])
isabelle