src/HOL/Relation.thy
changeset 37724 6607ccf77946
parent 36772 ef97c5006840
child 40923 be80c93ac0a2