# 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