src/ZF/Bin.thy
changeset 68743 91162dd89571
parent 68490 eb53f944c8cd
child 69587 53982d5ec0bb