Theory IntArith

Up to index of Isabelle/ZF

theory IntArith
imports Bin
uses (int_arith.ML)
begin

theory IntArith imports Bin
uses "int_arith.ML" begin

end