pres/ListP.thy
changeset 360 66e0ec8acedc
parent 30 f5db9e08effc
equal deleted inserted replaced
359:1b9163229f3f 360:66e0ec8acedc