NEWS
changeset 67525 5d04d7bcd5f6
parent 67510 9624711ef2de
child 67591 6fd9902057f5
     1.1 --- a/NEWS	Mon Jan 29 19:26:14 2018 +0100
     1.2 +++ b/NEWS	Sun Jan 28 16:38:48 2018 +0000
     1.3 @@ -169,6 +169,13 @@
     1.4  
     1.5  *** HOL ***
     1.6  
     1.7 +* Clarifed theorem names:
     1.8 +
     1.9 +  Min.antimono ~> Min.subset_imp
    1.10 +  Max.antimono ~> Max.subset_imp
    1.11 +
    1.12 +Minor INCOMPATIBILITY.
    1.13 +
    1.14  * A new command parametric_constant for proving parametricity of
    1.15  non-recursive definitions. For constants that are not fully parametric
    1.16  the command will infer conditions on relations (e.g., bi_unique,