Mercurial Mercurial > repos > isabelle / comparison
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/Word.thy
changeset 56078 624faeda77b5
parent 55945 e96383acecf9
child 56979 376604d56b54
equal deleted inserted replaced
56077:d397030fb27e 56078:624faeda77b5 
  4736 declare bin_to_bl_def [simp]
 
  4736 declare bin_to_bl_def [simp]
 
  4737 
  4737 
  4738 ML_file "Tools/word_lib.ML"
 
  4738 ML_file "Tools/word_lib.ML"
 
  4739 ML_file "Tools/smt_word.ML"
 
  4739 ML_file "Tools/smt_word.ML"
 
  4740 setup SMT_Word.setup
 
  4740 setup SMT_Word.setup
 
       
  4741 ML_file "Tools/smt2_word.ML"
 
  4741 
  4742 
  4742 hide_const (open) Word
 
  4743 hide_const (open) Word
 
  4743 
  4744 
  4744 end
 
  4745 end
 
  4745 
  4746
isabelle