# HG changeset patch
# User blanchet
# Date 1452672578 -3600
# Node ID 56d35d0fda5b6d93f9e21902b73a575650e1e8a0
# Parent  c25c62055180862572666846d6e2c3c67889183a
updated NEWS

diff -r c25c62055180 -r 56d35d0fda5b NEWS
--- a/NEWS	Wed Jan 13 09:09:37 2016 +0100
+++ b/NEWS	Wed Jan 13 09:09:38 2016 +0100
@@ -577,6 +577,8 @@
   - New commands "lift_bnf" and "copy_bnf" for lifting (copying) a BNF
     structure on the raw type to an abstract type defined using typedef.
   - Always generate "case_transfer" theorem.
+  - For mutual types, generate slightly stronger "rel_induct", "rel_coinduct",
+    and "coinduct" theorems. INCOMPATIBLITY.
   - Allow discriminators and selectors with the same name as the type
     being defined.
   - Avoid various internal name clashes (e.g., 'datatype f = f').