src/ZF/listfn.thy
changeset 578 efc648d29dd0
parent 124 858ab9a9b047
equal deleted inserted replaced
577:776b5ba748d8 578:efc648d29dd0