Merge branch 'duplicable-type-class' into 'master'
Add duplicable type class See merge request iris/iris!481
No related branches found
No related tags found
Showing
- CHANGELOG.md 7 additions, 0 deletionsCHANGELOG.md
- theories/base_logic/derived.v 2 additions, 0 deletionstheories/base_logic/derived.v
- theories/base_logic/lib/auth.v 2 additions, 0 deletionstheories/base_logic/lib/auth.v
- theories/base_logic/lib/invariants.v 6 additions, 4 deletionstheories/base_logic/lib/invariants.v
- theories/base_logic/lib/own.v 2 additions, 0 deletionstheories/base_logic/lib/own.v
- theories/bi/big_op.v 74 additions, 23 deletionstheories/bi/big_op.v
- theories/bi/derived_connectives.v 6 additions, 0 deletionstheories/bi/derived_connectives.v
- theories/bi/derived_laws.v 82 additions, 14 deletionstheories/bi/derived_laws.v
- theories/bi/derived_laws_later.v 1 addition, 1 deletiontheories/bi/derived_laws_later.v
- theories/bi/internal_eq.v 3 additions, 0 deletionstheories/bi/internal_eq.v
- theories/bi/lib/fractional.v 14 additions, 1 deletiontheories/bi/lib/fractional.v
- theories/bi/plainly.v 3 additions, 5 deletionstheories/bi/plainly.v
- theories/bi/telescopes.v 3 additions, 0 deletionstheories/bi/telescopes.v
- theories/proofmode/class_instances_later.v 8 additions, 0 deletionstheories/proofmode/class_instances_later.v
- theories/proofmode/environments.v 1 addition, 1 deletiontheories/proofmode/environments.v
- theories/proofmode/frame_instances.v 1 addition, 1 deletiontheories/proofmode/frame_instances.v
Loading
Please register or sign in to comment