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 39026 962d12bc546c
parent 38972 cd747b068311
child 39033 e8b68ec3bb9c
equal deleted inserted replaced
39025:582546cc49a1 39026:962d12bc546c 
  1928   bool not
 
  1928   bool not
 
  1929 
  1929 
  1930 code_reserved Scala
 
  1930 code_reserved Scala
 
  1931   Boolean
 
  1931   Boolean
 
  1932 
  1932 
       
  1933 code_modulename SML Pure HOL
 
       
  1934 code_modulename OCaml Pure HOL
 
       
  1935 code_modulename Haskell Pure HOL
 
       
  1936 
  1933 text {* using built-in Haskell equality *}
 
  1937 text {* using built-in Haskell equality *}
 
  1934 
  1938 
  1935 code_class equal
 
  1939 code_class equal
 
  1936   (Haskell "Eq")
 
  1940   (Haskell "Eq")
 
  1937 
  1941
isabelle