--- a/NEWS Mon Jul 18 21:15:51 2011 +0200
+++ b/NEWS Mon Jul 18 21:34:01 2011 +0200
@@ -71,6 +71,7 @@
le_SUPI ~> le_SUP_I
le_SUPI2 ~> le_SUP_I2
le_INFI ~> le_INF_I
+ INF_subset ~> INF_superset_mono
INFI_bool_eq ~> INF_bool_eq
SUPR_bool_eq ~> SUP_bool_eq
INFI_apply ~> INF_apply