src/ZF/List.thy
changeset 69977 3c166df11085
parent 69587 53982d5ec0bb
child 71082 995fe5877d53
equal deleted inserted replaced
69976:98a440cfbb2b 69977:3c166df11085