src/HOL/Tools/numeral_simprocs.ML
2009-07-23 wenzelm 2009-07-23 more @{theory} antiquotations;
2009-06-02 wenzelm 2009-06-02 made SML/NJ happy;
2009-05-11 haftmann 2009-05-11 qualified names for Lin_Arith tactics and simprocs
2009-05-08 haftmann 2009-05-08 modules numeral_simprocs, nat_numeral_simprocs; proper structures for numeral simprocs