src/HOL/Numeral_Simprocs.thy
changeset 37407 61dd8c145da7
parent 33366 b0096ac3b731
child 37886 2f9d3fc1a8ac