theory IntArith imports Bin
uses "int_arith.ML" begin

end