src/HOL/Nat.thy
changeset 47884 21c42b095c84
parent 47489 04e7d09ade7a
child 47988 e4b69e10b990