src/HOL/Numeral_Simprocs.thy
2010-07-19 haftmann 2010-07-19 tuned whitespace
2009-10-30 haftmann 2009-10-30 dedicated theory for loading numeral simprocs