use RelationClasses instead of Relations_1 in Sorting#152
Open
andres-erbsen wants to merge 1 commit intorocq-prover:masterfrom
Open
use RelationClasses instead of Relations_1 in Sorting#152andres-erbsen wants to merge 1 commit intorocq-prover:masterfrom
andres-erbsen wants to merge 1 commit intorocq-prover:masterfrom
