# HG changeset patch
# User wenzelm
# Date 1429275445 -7200
# Node ID caf2637a28a9c2b0729a54c2e7ba88fa751527c8
# Parent  63194f9141b9920bba57285da5c0c0a362bd8caf
tuned for release;

diff -r 63194f9141b9 -r caf2637a28a9 NEWS
--- a/NEWS	Fri Apr 17 14:30:02 2015 +0200
+++ b/NEWS	Fri Apr 17 14:57:25 2015 +0200
@@ -198,15 +198,15 @@
       BNF_Constructions_on_Wellorders ~> BNF_Wellorder_Constructions
       Cardinals/Constructions_on_Wellorders ~> Cardinals/Wellorder_Constructions
     INCOMPATIBILITY.
-  - Lifting and Transfer setup for basic HOL types sum and prod
-    (also option) is now performed by the BNF package. Theories
-    Lifting_Sum, Lifting_Product and Lifting_Option from Main
-    became obsolete and were removed. Changed definitions of
-    the relators rel_prod and rel_sum (using inductive).
+  - Lifting and Transfer setup for basic HOL types sum and prod (also
+    option) is now performed by the BNF package. Theories Lifting_Sum,
+    Lifting_Product and Lifting_Option from Main became obsolete and
+    were removed. Changed definitions of the relators rel_prod and
+    rel_sum (using inductive).
     INCOMPATIBILITY: use rel_prod.simps and rel_sum.simps instead
-      of rel_prod_def and rel_sum_def.
-    Minor INCOMPATIBILITY: (rarely used by name) transfer theorem
-      names changed (e.g. map_prod_transfer ~> prod.map_transfer).
+    of rel_prod_def and rel_sum_def.
+    Minor INCOMPATIBILITY: (rarely used by name) transfer theorem names
+    changed (e.g. map_prod_transfer ~> prod.map_transfer).
 
 * Old datatype package:
   - The old 'datatype' command has been renamed 'old_datatype', and