base_logic/lib/fancy_updates.v · a7e91677b2853f55c825191b98c82cf837d1550c · George Pirlea / Iris · GitLab

Find file Blame History Permalink

make done and fast_done more consistent in behavior · a7e91677
Ralf Jung authored Nov 21, 2016
```
In particular, make sure we always try eassumption before reflexivity.
```
a7e91677