src/HOL/Equiv_Relations.thy
changeset 30633 cc18ae3c1c7f
parent 30198 922f944f03b2
child 35216 7641e8d831d2
equal deleted inserted replaced
30628:4078276bcace 30633:cc18ae3c1c7f