src/HOL/Parity.thy
changeset 47988 e4b69e10b990
parent 47225 650318981557
child 54227 63b441f49645