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