Set the priority of the rewrite relation for sqsubseteq to not take precedence over...

Set the priority of the rewrite relation for sqsubseteq to not take precedence over the eq instance from Coq or equiv.

changed title from Set the priority of the rewrite relation for equiv to not take precedence over... to Set the priority of the rewrite relation for sqsubseteq to not take precedence over...

changed the description

added 4 commits

• aaae68c7...607ee2b1 - 2 commits from branch iris:master
• 090ee419 - Set the priority of the rewrite relation for equiv to not take precedence over...
• 7ab55dc0 - Fix sqsubseteq_rewrite's priority, making it lower than equiv

Compare with previous version

added 1 commit

• 36bc5009 - Fix sqsubseteq_rewrite's priority, making it lower than equiv

Compare with previous version

mentioned in merge request iris!773 (merged)

added 1 commit

• 4bff5395 - Leave more room for priorities between equiv and sqsubseteq

Compare with previous version

added 1 commit

• 4dd6ec09 - Leave more room for priorities between equiv and sqsubseteq

Compare with previous version

added 1 commit

• 0eb7c546 - Apply 2 suggestion(s) to 1 file(s)

Compare with previous version

resolved all threads

enabled an automatic merge when the pipeline for 0eb7c546 succeeds

Merging, thanks.

merged

mentioned in commit ac02dbbd