src/HOL/Nat.thy
changeset 82265 4b875a4c83b0
parent 82196 0b090cfce4e8
child 82340 dc8c25634697