# HG changeset patch
# User blanchet
# Date 1426025080 -3600
# Node ID 55eb8932d539b8b4e28dd5dd3d51022ac37b76d2
# Parent  198eaf28a8b80a8b4c39a91f762b50343df73648
documented renamed theories

diff -r 198eaf28a8b8 -r 55eb8932d539 NEWS
--- a/NEWS	Tue Mar 10 21:31:19 2015 +0100
+++ b/NEWS	Tue Mar 10 23:04:40 2015 +0100
@@ -172,6 +172,14 @@
     is invoked). The solution is to specify the case rule explicitly
     (e.g. "cases w rule: widget.exhaust").
     INCOMPATIBILITY.
+  - Renamed theories:
+      BNF_Comp ~> BNF_Composition
+      BNF_FP_Base ~> BNF_Fixpoint_Base
+      BNF_GFP ~> BNF_Greatest_Fixpoint
+      BNF_LFP ~> BNF_Least_Fixpoint
+      BNF_Constructions_on_Wellorders ~> BNF_Wellorder_Constructions
+      Cardinals/Constructions_on_Wellorders ~> Cardinals/Wellorder_Constructions
+    INCOMPATIBILITY.
 
 * Old datatype package:
   - The old 'datatype' command has been renamed 'old_datatype', and