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 71986 76193dd4aec8
parent 71985 a1cf296a7786
child 71997 4a013c92a091 
--- a/src/HOL/Word/More_Word.thy	Wed Jul 01 17:32:11 2020 +0000
+++ b/src/HOL/Word/More_Word.thy	Wed Jul 01 17:32:11 2020 +0000
@@ -6,6 +6,7 @@
 theory More_Word
 imports
   Word
+  Ancient_Numeral
 begin
 
 end
isabelle