WIP; split up into reasonably sized commits.

_CoqProject

iris/base_logic/base_logic.v

iris/base_logic/bi.v

iris/base_logic/bupd_alt.v

iris/base_logic/derived.v

iris/base_logic/lib/boxes.v

iris/base_logic/lib/cancelable_invariants.v

iris/base_logic/lib/fancy_updates.v

iris/base_logic/lib/own.v

iris/base_logic/proofmode.v

iris/base_logic/upred.v

iris/bi/algebra.v

iris/bi/bi.v

iris/bi/cmra_valid.v

iris/bi/derived_laws_later.v

iris/bi/embedding.v

iris/bi/internal_eq.v

iris/bi/lib/cmra.v

iris/bi/lib/core.v

iris/bi/lib/relations.v