documented renamed theories
authorblanchet
Tue Mar 10 23:04:40 2015 +0100 (2015-03-10)
changeset 5967555eb8932d539
parent 59674 198eaf28a8b8
child 59678 51006c02e597
child 59682 d662d096f72b
documented renamed theories
NEWS
     1.1 --- a/NEWS	Tue Mar 10 21:31:19 2015 +0100
     1.2 +++ b/NEWS	Tue Mar 10 23:04:40 2015 +0100
     1.3 @@ -172,6 +172,14 @@
     1.4      is invoked). The solution is to specify the case rule explicitly
     1.5      (e.g. "cases w rule: widget.exhaust").
     1.6      INCOMPATIBILITY.
     1.7 +  - Renamed theories:
     1.8 +      BNF_Comp ~> BNF_Composition
     1.9 +      BNF_FP_Base ~> BNF_Fixpoint_Base
    1.10 +      BNF_GFP ~> BNF_Greatest_Fixpoint
    1.11 +      BNF_LFP ~> BNF_Least_Fixpoint
    1.12 +      BNF_Constructions_on_Wellorders ~> BNF_Wellorder_Constructions
    1.13 +      Cardinals/Constructions_on_Wellorders ~> Cardinals/Wellorder_Constructions
    1.14 +    INCOMPATIBILITY.
    1.15  
    1.16  * Old datatype package:
    1.17    - The old 'datatype' command has been renamed 'old_datatype', and