src/ZF/Bin.thy
changeset 65785 6107504371fb
parent 61798 27f3c10b0b50
child 68233 5e0e9376b2b0
equal deleted inserted replaced
65784:4763e51ceb78 65785:6107504371fb