2010-07-23 haftmann 2010-07-23 proper subclass instead of sublocale
2010-05-12 haftmann 2010-05-12 tuned proofs and fact and class names
2010-05-12 haftmann 2010-05-12 tuned fact collection names and some proofs
2010-05-12 haftmann 2010-05-12 grouped local statements
2010-05-11 hoelzl 2010-05-11 Add rules directly to the corresponding class locales instead.
2010-05-08 haftmann 2010-05-08 moved normalization proof tool infrastructure to canonical algebraic classes
2010-05-07 haftmann 2010-05-07 renamed Normalizer to the more specific Semiring_Normalizer
2010-05-07 haftmann 2010-05-07 split of semiring normalization from Groebner theory; moved field_comp_conv to Numeral_Simproces