src/HOL/Tools/nat_numeral_simprocs.ML
2009-06-24 nipkow 2009-06-24 corrected and unified thm names
2009-06-02 wenzelm 2009-06-02 made SML/NJ happy;
2009-05-08 haftmann 2009-05-08 modules numeral_simprocs, nat_numeral_simprocs; proper structures for numeral simprocs