Merge branch 'ci/merge-orc11' into 'master'

.gitignore

README.md

_CoqProject

coq-gpfsl.opam

coq-orc11.opam

gpfsl/algebra/lat_auth.v

gpfsl/algebra/lattice_cmra.v

gpfsl/algebra/to_agree.v

gpfsl/base_logic/adequacy.v

gpfsl/base_logic/base_lifting.v

gpfsl/base_logic/bi.v

gpfsl/base_logic/frame_instances.v

gpfsl/base_logic/history.v

gpfsl/base_logic/history_cmra.v

gpfsl/base_logic/iwp.v

gpfsl/base_logic/local_preds.v

gpfsl/base_logic/memory.v

gpfsl/base_logic/meta_data.v

gpfsl/base_logic/na.v

gpfsl/base_logic/vprop.v