src/HOL/Equiv_Relations.thy
changeset 24850 0cfd722ab579
parent 24728 e2b3a1065676
child 25482 4ed49eccb1eb