src/ZF/ex/twos_compl.ML
changeset 532 851df239ac8b
parent 0 a5a9c433f639
child 912 ed9e0c70a5da