src/HOL/int_arith1.ML
changeset 24728 e2b3a1065676
parent 24630 351a308ab58d
child 25481 aa16cd919dcc