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/More_Word.thy
changeset 72487 ab32922f139b
parent 72397 48013583e8e6 
--- a/src/HOL/Word/More_Word.thy	Fri Oct 16 19:34:37 2020 +0200
+++ b/src/HOL/Word/More_Word.thy	Thu Oct 15 14:55:19 2020 +0200
@@ -15,6 +15,7 @@
   Misc_set_bit
   Misc_lsb
   Misc_Typedef
+  Word_rsplit
 begin
 
 declare signed_take_bit_Suc [simp]
isabelle