src/HOL/Parity.thy
changeset 69334 6b49700da068
parent 69198 9218b7652839
child 69502 0cf906072e20
equal deleted inserted replaced
69333:c889afca73a5 69334:6b49700da068