src/HOL/Nat.thy
changeset 13632 c7cbb2b369b8
parent 13596 ee5f79b210c1
child 14131 a4fc8b1af5e7
equal deleted inserted replaced
13631:23ab136db946 13632:c7cbb2b369b8