src/ZF/listfn.ML
changeset 1512 ce37c64244c0
parent 25 3ac1c0c0016e