src/ZF/list.ML
changeset 1512 ce37c64244c0
parent 279 7738aed3f84d