src/HOL/Nat.thy
changeset 4932 c90411dde8e8
parent 4640 ac6cf9f18653
child 5188 633ec5f6c155
equal deleted inserted replaced
4931:2ec84dee7911 4932:c90411dde8e8