Merge branch 'jh/bottom_notation' into 'master'
Notation for disjointness: replace ⊥ with ##, so that ⊥ can be used for bottom. See merge request FP/iris-coq!73
Showing
- CHANGELOG.md 1 addition, 1 deletionCHANGELOG.md
- opam 1 addition, 1 deletionopam
- theories/algebra/big_op.v 1 addition, 1 deletiontheories/algebra/big_op.v
- theories/algebra/coPset.v 4 additions, 4 deletionstheories/algebra/coPset.v
- theories/algebra/dra.v 22 additions, 22 deletionstheories/algebra/dra.v
- theories/algebra/gset.v 7 additions, 7 deletionstheories/algebra/gset.v
- theories/algebra/sts.v 22 additions, 22 deletionstheories/algebra/sts.v
- theories/base_logic/big_op.v 1 addition, 1 deletiontheories/base_logic/big_op.v
- theories/base_logic/deprecated.v 2 additions, 2 deletionstheories/base_logic/deprecated.v
- theories/base_logic/lib/counter_examples.v 1 addition, 1 deletiontheories/base_logic/lib/counter_examples.v
- theories/base_logic/lib/fancy_updates.v 3 additions, 3 deletionstheories/base_logic/lib/fancy_updates.v
- theories/base_logic/lib/fancy_updates_from_vs.v 2 additions, 2 deletionstheories/base_logic/lib/fancy_updates_from_vs.v
- theories/base_logic/lib/na_invariants.v 2 additions, 2 deletionstheories/base_logic/lib/na_invariants.v
- theories/base_logic/lib/namespaces.v 8 additions, 8 deletionstheories/base_logic/lib/namespaces.v
- theories/base_logic/lib/sts.v 3 additions, 3 deletionstheories/base_logic/lib/sts.v
- theories/base_logic/lib/viewshifts.v 1 addition, 1 deletiontheories/base_logic/lib/viewshifts.v
- theories/base_logic/lib/wsat.v 6 additions, 6 deletionstheories/base_logic/lib/wsat.v
Loading
Please register or sign in to comment