src/HOL/Nat.thy
changeset 30242 aea5d7fa7ef5
parent 30240 5b25fee0362c
parent 30128 365ee7319b86
child 30496 7cdcc9dd95cb