src/HOL/ex/Binary.thy
changeset 30313 b2441b0c8d38
parent 26187 3e099fc47afd
child 30510 4120fc59dd85