src/HOL/Equiv_Relations.thy
changeset 32436 10cd49e0c067
parent 30198 922f944f03b2
child 35216 7641e8d831d2