src/HOL/Codegenerator_Test/Generate_Binary_Nat.thy
changeset 57874 9c361f94b323
parent 54228 229282d53781
child 58678 398e05aa84d4