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