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