Deprecate Relation_definitions, remove from supported files#162

andres-erbsen wants to merge 4 commits into

rocq-prover:masterrocq-prover/stdlib:masterfrom

andres-erbsen:deprecate-relationsandres-erbsen/stdlib:deprecate-relationsCopy head branch name to clipboard