src/ZF/Main_ZF.thy
changeset 32888 ae17e72aac80
parent 29580 117b88da143c
child 36543 0e7fc5bf38de
equal deleted inserted replaced
32887:85e7ab9020ba 32888:ae17e72aac80