src/HOL/int_arith1.ML
changeset 24850 0cfd722ab579
parent 24630 351a308ab58d
child 25481 aa16cd919dcc