Delete MoreCoq.vo