chiark / gitweb /
Added function DELETE-COLLECT-IF