src/HOL/Library/Code_Abstract_Nat.thy
changeset 61225 1a690dce8cfc
parent 60801 7664e0916eec
child 69216 1a52baa70aed