src/HOL/Library/Code_Binary_Nat.thy
changeset 62337 d3996d5873dd
parent 61433 a4c0de1df3d8
child 66148 5e60c2d0a1f1