coq/doc/changelog/04-tactics/14089-ltac2_unify.rst, branch master The formal proof system changelog entry for Ltac2 unify 2021-04-19T18:24:50+00:00 Samuel Gruetter 2021-04-19T18:24:50+00:00 1dffce05d5b7b26a890a9d0359e54946e661511b