- **Removed:**
  convert_concl_no_check.  Use :tacn:`change_no_check` instead
  (`#13761 <https://github.com/coq/coq/pull/13761>`_,
  by Jim Fehrle).