| Wed, 12 May 2010 13:51:22 +0200 | haftmann | tuned fact collection names and some proofs | file | diff | annotate |
| Wed, 12 May 2010 12:31:52 +0200 | haftmann | grouped local statements | file | diff | annotate |
| Tue, 11 May 2010 19:21:39 +0200 | hoelzl | Add rules directly to the corresponding class locales instead. | file | diff | annotate |
| Sat, 08 May 2010 18:52:38 +0200 | haftmann | moved normalization proof tool infrastructure to canonical algebraic classes | file | diff | annotate |
| Fri, 07 May 2010 16:12:26 +0200 | haftmann | renamed Normalizer to the more specific Semiring_Normalizer | file | diff | annotate |
| Fri, 07 May 2010 15:05:52 +0200 | haftmann | split of semiring normalization from Groebner theory; moved field_comp_conv to Numeral_Simproces | file | diff | annotate | base |