--- a/NEWS Fri Nov 30 16:23:52 2007 +0100
+++ b/NEWS Fri Nov 30 20:13:03 2007 +0100
@@ -16,7 +16,13 @@
* Library/Multiset: {#a, b, c#} is new short syntax for {#a#} + {#b#} + {#c#}.
-* Constant "card" now with authentic syntax.
+* Constants "card", "internal_split", "option_map" now with authentic syntax.
+
+* Definitions subset_def, psubset_def, set_diff_def, Compl_def, le_bool_def,
+less_bool_def, le_fun_def, less_fun_def, inf_bool_def, sup_bool_def,
+Inf_bool_def, Sup_bool_def, inf_fun_def, sup_fun_def, Inf_fun_def, Sup_fun_def,
+inf_set_def, sup_set_def, Inf_set_def, Sup_set_def, le_def, less_def,
+option_map_def now with object equality.