CHANGELOG.md

algebra/auth.v

algebra/cmra.v

algebra/csum.v

algebra/dra.v

algebra/gmap.v

algebra/gset.v

algebra/iprod.v

algebra/list.v

algebra/upred.v

docs/algebra.tex

docs/constructions.tex

docs/iris.sty

docs/logic.tex

docs/model.tex

heap_lang/wp_tactics.v

prelude/collections.v

program_logic/auth.v

program_logic/boxes.v

program_logic/ghost_ownership.v