pres/ListP.thy
changeset 63 649ff0b8766d
parent 30 f5db9e08effc
equal deleted inserted replaced
62:d94209ad2880 63:649ff0b8766d