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