src/HOL/Numeral_Simprocs.thy
2011-10-28 huffman 2011-10-28 more accurate class constraints on cancellation simproc patterns
2011-10-28 huffman 2011-10-28 use simproc_setup for cancellation simprocs, to get proper name bindings
2010-07-19 haftmann 2010-07-19 tuned whitespace
2009-10-30 haftmann 2009-10-30 dedicated theory for loading numeral simprocs