blob: 52c2517161ed69ff0274b84d98c174d342b9769f (
plain)
1
2
3
4
5
|
- **Added:**
``remove'`` and ``count_occ'`` over lists,
alternatives to ``remove`` and ``count_occ`` based on ``filter``
(`#11350 <https://github.com/coq/coq/pull/11350>`_,
by Yishuai Li).
|