src/ZF/IntArith.thy
2008-06-16 wenzelm 2008-06-16 converted ML proofs;
2007-05-31 wenzelm 2007-05-31 moved Integ files to canonical place;