src/ZF/Induct/Primrec.thy
changeset 13923 019342d03d81
parent 13339 0f89104dd377
child 16417 9bc16273c2d4
equal deleted inserted replaced
13922:75ae4244a596 13923:019342d03d81