Merge branch 'jh/bottom_notation' into 'master'
Notation for disjointness: replace ⊥ with ##, so that ⊥ can be used for bottom. See merge request robbertkrebbers/coq-stdpp!12
Showing
This diff is collapsed.
Please register or sign in to comment