-
Dan Frumin authored
rel_apply_ tactic pose the lemma before searching for a place to apply it. This is in accordance with <https://gitlab.mpi-sws.org/FP/iris-coq/commit/211dc7cad10da872d2840f73acd85eed0b82f7b4>
4c08cbe9
rel_apply_ tactic pose the lemma before searching for a place to apply it. This is in accordance with <https://gitlab.mpi-sws.org/FP/iris-coq/commit/211dc7cad10da872d2840f73acd85eed0b82f7b4>