src/ZF/perm.thy
changeset 9697 c5fc121c2067
parent 124 858ab9a9b047
equal deleted inserted replaced
9696:5c8acc0282c8 9697:c5fc121c2067