src/HOL/Parity.thy
changeset 61070 b72a990adfe2
parent 60867 86e7560e07d0
child 61531 ab2e862263e7