src/HOL/Equiv_Relations.thy
changeset 78659 b5f3d1051b13
parent 76675 0d7a9e4e1d61
child 80932 261cd8722677