src/HOL/Tools/semiring_normalizer.ML
Fri, 07 May 2010 16:12:26 +0200 haftmann renamed Normalizer to the more specific Semiring_Normalizer
less more (0) tip