src/ZF/Bin.thy
changeset 65785 6107504371fb
parent 61798 27f3c10b0b50
child 68233 5e0e9376b2b0