src/HOL/Numeral_Simprocs.thy
changeset 60517 f16e4fb20652
parent 59867 58043346ca64
child 60758 d8d85a8172b5