src/ZF/datatype.thy
changeset 1003 6413adca7601
parent 124 858ab9a9b047
equal deleted inserted replaced
1002:280ec187f8e1 1003:6413adca7601