src/ZF/ex/Bin.thy
changeset 532 851df239ac8b
parent 515 abcc438e7c27
child 589 31847a7504ec