Functions nat_to_bv and bv_to_nat now really operate on natural numbers.
Functions nat_to_bv and bv_to_nat now really operate on natural numbers.

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle