src/HOL/Numeral_Simprocs.thy
2009-10-30 haftmann 2009-10-30 dedicated theory for loading numeral simprocs