diff --git a/CHANGELOG.md b/CHANGELOG.md
index ef4dadc17cedb3b193603991d4ef3c8b3268db6f..bfeadc3b1b116d63d02d3fcdbccadc43896137cf 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -30,6 +30,10 @@ API-breaking change is listed.
 - Add tactic `set_unfold in H`.
 - Set `Hint Mode` for `TCAnd`, `TCOr`, `TCForall`, `TCForall2`, `TCElemOf`,
   `TCEq`, and `TCDiag`.
+- Add type class `LookupTotal` with total lookup operation `(!!!) : M → K → A`.
+  Provide instances for `list`, `fin_map`, and `vec`, as well as corresponding
+  lemmas for the operations on these types. The instance for `vec` replaces the
+  ad-hoc `!!!` definition.
 
 ## std++ 1.2.1 (released 2019-08-29)