src/ZF/int_arith.ML
2007-05-31 wenzelm 2007-05-31 moved Integ files to canonical place;