src/ZF/ex/LListFn.thy
changeset 189 831a9a7ab9f3
parent 120 09287f26bfb8
equal deleted inserted replaced
188:6be0856cdf49 189:831a9a7ab9f3