CHANGELOG.md

README.md

opam

theories/algebra/big_op.v

theories/algebra/coPset.v

theories/algebra/dra.v

theories/algebra/gset.v

theories/algebra/sts.v

theories/base_logic/deprecated.v

theories/base_logic/lib/fancy_updates.v

theories/base_logic/lib/fancy_updates_from_vs.v

theories/base_logic/lib/na_invariants.v

theories/base_logic/lib/namespaces.v

theories/base_logic/lib/sts.v

theories/base_logic/lib/viewshifts.v

theories/base_logic/lib/wsat.v

theories/bi/big_op.v

theories/bi/counter_examples.v