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/HOL.thy
changeset 31156 90fed3d4430f
parent 31151 1c64b0827ee8
child 31166 a90fe83f58ea
child 31172 74d72ba262fb
equal deleted inserted replaced
31155:92d8ff6af82c 31156:90fed3d4430f 
  1869 text {* Equality *}
 
  1869 text {* Equality *}
 
  1870 
  1870 
  1871 declare simp_thms(6) [code nbe]
 
  1871 declare simp_thms(6) [code nbe]
 
  1872 
  1872 
  1873 setup {*
 
  1873 setup {*
 
  1874   Code_Unit.add_const_alias @{thm equals_eq}
 
  1874   Code.add_const_alias @{thm equals_eq}
 
  1875 *}
 
  1875 *}
 
  1876 
  1876 
  1877 hide (open) const eq
 
  1877 hide (open) const eq
 
  1878 hide const eq
 
  1878 hide const eq
 
  1879 
  1879
isabelle