src/HOL/Relation.ML
changeset 1868 836950047d85
parent 1842 a9c36056d320
child 1985 84cf16192e03