Gregory Malecha authored 5 years ago and Robbert Krebbers committed 5 years ago

- remove "odd" comment
- move atomic triples to bi_scope

Fix issue pointed out by @tchajed in iris/iris!330 (comment 41322)

This is a change enabling backward compatibility.

move test suite out of theories/ so it does not get installed; also check output of test suite so that we can test printing

New IntoAcc typeclass to decouple creating and elliminating accessors; ElimInv supports both with and without Hclose