src/HOL/NumberTheory/EvenOdd.thy
changeset 24728 e2b3a1065676
parent 22274 ce1459004c8d
child 26289 9d2c375e242b