src/HOL/Relation.ML
changeset 7584 5be4bb8e4e3f
parent 7083 9663eb2bce05
child 7822 09aabe6d04b8