--- a/NEWS Tue Sep 27 16:24:53 2016 +0100
+++ b/NEWS Mon Sep 26 07:56:53 2016 +0200
@@ -1524,7 +1524,7 @@
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.
+ "rel_coinduct", and "coinduct" theorems. INCOMPATIBILITY.
- Allow discriminators and selectors with the same name as the type
being defined.
- Avoid various internal name clashes (e.g., 'datatype f = f').