src/HOL/Nat.thy
changeset 24850 0cfd722ab579
parent 24729 f5015dd2431b
child 24995 c26e0166e568