src/HOL/Parity.thy
changeset 66787 64b47495676d
parent 66582 2b49d4888cb8
child 66808 1907167b6038