src/HOL/Old_Number_Theory/EvenOdd.thy
changeset 54253 04cd231e2b9e
parent 53077 a1b3784f8129
child 58410 6d46ad54a2ab