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.
ANNOUNCE
changeset 25229 2673709fb8f7
parent 25228 59afe8a0a7e1
child 25242 6c3890cbceac
equal deleted inserted replaced
25228:59afe8a0a7e1 25229:2673709fb8f7 
    26 * New 'function' package for general recursive function definitions.
 
    26 * New 'function' package for general recursive function definitions.
 
    27 
    27 
    28 * New 'class' package combination of axclass + locale interpretation.
 
    28 * New 'class' package combination of axclass + locale interpretation.
 
    29 
    29 
    30 * Built-in Metis prover, external linkup for automated provers, and
 
    30 * Built-in Metis prover, external linkup for automated provers, and
 
    31 'sledghammer' command for automated proof synthesis.
 
    31 'sledgehammer' command for automated proof synthesis.
 
    32 
    32 
    33 * Full list comprehension syntax.
 
    33 * Full list comprehension syntax.
 
    34 
    34 
    35 * Various improvements in locale infrastructure (interpretation etc.)
 
    35 * Various improvements in locale infrastructure (interpretation etc.)
 
    36 
    36
isabelle