src/ZF/list.thy
changeset 2045 ae1030e66745
parent 124 858ab9a9b047