src/HOL/Relation.thy
changeset 47220 52426c62b5d0
parent 47087 08c22e8ffe70
child 47375 8e6a45f1bf8f
child 47433 07f4bf913230