src/HOL/Tools/int_arith.ML
changeset 30190 479806475f3c
parent 29269 5c25a2012975
child 30496 7cdcc9dd95cb