lifetime logic: use agree instead of dec_agree (!4) · Merge requests · Iris / lambda-rust · GitLab

Ralf Jung requested to merge no-dec-agree into master Dec 09, 2016

If you are happy with this, we can merge this and https://gitlab.mpi-sws.org/FP/iris-coq/merge_requests/22

Cc @robbertkrebbers @jjourdan