src/HOL/Tools/semiring_normalizer.ML
2012-03-25 huffman 2012-03-25 merged fork with new numeral representation (see NEWS)
2012-02-15 wenzelm 2012-02-15 renamed Thm.capply to Thm.apply, and Thm.cabs to Thm.lambda in conformance with similar operations in structure Term and Logic;
2011-08-08 huffman 2011-08-08 moved division ring stuff from Rings.thy to Fields.thy
2010-10-24 nipkow 2010-10-24 nat_number -> eval_nat_numeral
2010-07-08 haftmann 2010-07-08 tuned titles
2010-05-15 wenzelm 2010-05-15 less pervasive names from structure Thm;
2010-05-08 wenzelm 2010-05-08 made SML/NJ happy;
2010-05-08 haftmann 2010-05-08 merged
2010-05-07 haftmann 2010-05-07 renamed Normalizer to the more specific Semiring_Normalizer