# HG changeset patch
# User haftmann
# Date 1474869413 -7200
# Node ID d05da6b707dd16ef22ae7568b57802f817db3b2c
# Parent  444eafb6e864121729d95628dcf8aac60eb5f653
spelling

diff -r 444eafb6e864 -r d05da6b707dd NEWS
--- 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').