pres/ListP.thy
changeset 62 d94209ad2880
parent 30 f5db9e08effc
equal deleted inserted replaced
61:070f543e2560 62:d94209ad2880