src/ZF/ex/Bin.thy
changeset 4029 22f2d1b17f97
parent 3795 e687069e7257
child 4709 d24168720303
equal deleted inserted replaced
4028:01745d56307d 4029:22f2d1b17f97