src/HOL/Equiv_Relations.thy
changeset 45231 d85a2fdc586c
parent 44890 22f665a2e91c
child 45969 562e99c3d316