src/HOL/Equiv_Relations.thy
changeset 35928 d31f55f97663
parent 35725 4d7e3cc9c52c
child 37767 a2b7a20d6ea3