1 files changed, 1 insertions, 0 deletions
diff --git a/CHANGES b/CHANGES
index e0353a1947..48a3123668 100644
--- a/CHANGES
+++ b/CHANGES
@@ -13,6 +13,7 @@ Libraries
 - Better computational behavior of some constants (eq_nat_dec more
   efficient, Z_lt_le_dec transparent, ...) [exceptionally source of
   incompatibilities].
+- Boolean operators moved from module Bool to module Datatypes.
 
 Notations