| Wed, 06 Jun 2007 20:49:04 +0200 | huffman | add axclass semiring_char_0 for types where of_nat is injective | file | diff | annotate |
| Wed, 30 May 2007 02:41:26 +0200 | huffman | simplify names of locale interpretations | file | diff | annotate |
| Tue, 29 May 2007 18:19:56 +0200 | huffman | interpretation bounded_linear_divide | file | diff | annotate |