Iff as a proper connective#140

herbelin wants to merge 3 commits intorocq-prover:masterrocq-prover/rocq:masterfrom

herbelin:iff-as-a-proper-connectiveherbelin/github-coq:iff-as-a-proper-connectiveCopy head branch name to clipboard