src/ZF/List.thy
changeset 69977 3c166df11085
parent 69587 53982d5ec0bb
child 71082 995fe5877d53