src/HOL/Nat.thy
changeset 2919 953a47dc0519
parent 2608 450c9b682a92
child 3370 5c5fdce3a4e4