src/HOL/Equiv_Relations.thy
changeset 18851 9502ce541f01
parent 18493 343da052b961
child 19323 ec5cd5b1804c