Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned;
authorwenzelm
Sun, 18 Aug 2013 23:37:38 +0200
changeset 53080 d815e25ead03
parent 53079 ade63ccd6f4e
child 53081 2a62d848a56a
tuned;
src/HOL/Word/Word.thy file | annotate | diff | comparison | revisions 
--- a/src/HOL/Word/Word.thy	Sun Aug 18 22:44:39 2013 +0200
+++ b/src/HOL/Word/Word.thy	Sun Aug 18 23:37:38 2013 +0200
@@ -4646,9 +4646,9 @@
 
 declare bin_to_bl_def [simp]
 
-ML_file "~~/src/HOL/Word/Tools/word_lib.ML"
-ML_file "~~/src/HOL/Word/Tools/smt_word.ML"
-setup {* SMT_Word.setup *}
+ML_file "Tools/word_lib.ML"
+ML_file "Tools/smt_word.ML"
+setup SMT_Word.setup
 
 hide_const (open) Word
isabelle