1.1 --- a/NEWS	Mon Jul 18 21:15:51 2011 +0200
     1.2 +++ b/NEWS	Mon Jul 18 21:34:01 2011 +0200
     1.3 @@ -71,6 +71,7 @@
     1.4    le_SUPI ~> le_SUP_I
     1.5    le_SUPI2 ~> le_SUP_I2
     1.6    le_INFI ~> le_INF_I
     1.7 +  INF_subset ~> INF_superset_mono
     1.8    INFI_bool_eq ~> INF_bool_eq
     1.9    SUPR_bool_eq ~> SUP_bool_eq
    1.10    INFI_apply ~> INF_apply