src/ZF/IntArith.thy
author wenzelm
Thu May 31 12:06:31 2007 +0200 (2007-05-31)
changeset 23146 0bc590051d95
child 27237 c94eefffc3a5
permissions -rw-r--r--
moved Integ files to canonical place;
wenzelm@23146
     1
wenzelm@23146
     2
theory IntArith imports Bin
wenzelm@23146
     3
uses "int_arith.ML" begin
wenzelm@23146
     4
wenzelm@23146
     5
end