Mercurial Mercurial > repos > isabelle / diff
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.
NEWS
changeset 54029 4edfd0fd5536
parent 54021 8089e82833b6
child 54032 67ed9e57dd03 
--- a/NEWS	Wed Oct 02 15:13:41 2013 +0200
+++ b/NEWS	Wed Oct 02 15:53:20 2013 +0200
@@ -156,6 +156,7 @@
   - Various improvements to BNF-based (co)datatype package, including new
     commands "primrec_new", "primcorec", and "datatype_new_compat",
     as well as documentation. See "datatypes.pdf" for details.
+  - New "coinduction" method to avoid some boilerplate (compared to coinduct).
   - Renamed keywords:
     data ~> datatype_new
     codata ~> codatatype
isabelle