src/HOL/Numeral_Simprocs.thy
changeset 35898 c890a3835d15
parent 33366 b0096ac3b731
child 37886 2f9d3fc1a8ac