Deprecate Relation_definitions, remove from supported files - #162

Open

andres-erbsen wants to merge 4 commits into

rocq-prover:masterfrom

andres-erbsen:deprecate-relations

Commits on Jun 3, 2025

deprecate relations; remove usages outside wellfounded, deprecated sorting
andres-erbsen
committed
a84f351
port Wellfounded and Sorting to RelationClasses
andres-erbsen
committed
a831683
document deprecation of relations
andres-erbsen
committed
ec54f9f

Commits on Jun 5, 2025

fixup! typo in default.nix
andres-erbsen
authored
ec09d67