pres/ListP.thy
changeset 162 e93760534354
parent 30 f5db9e08effc
equal deleted inserted replaced
161:a8a442ba0dbf 162:e93760534354