src/HOL/Relation.thy
changeset 68743 91162dd89571
parent 68455 b33803fcae2a
child 69275 9bbd5497befd