| Sat, 19 May 2007 11:33:22 +0200 | haftmann | no special treatment in naming of locale predicates stemming form classes | file | diff | annotate |
| Fri, 11 May 2007 20:47:30 +0200 | nipkow | *** empty log message *** | file | diff | annotate |
| Fri, 11 May 2007 03:31:12 +0200 | huffman | generalize setsum lemmas from semiring_0_cancel to semiring_0 | file | diff | annotate |
| Thu, 10 May 2007 10:21:46 +0200 | haftmann | localized Min/Max | file | diff | annotate |
| Mon, 09 Apr 2007 21:28:24 +0200 | huffman | generalized type of lemma setsum_product | file | diff | annotate |
| Tue, 20 Mar 2007 08:27:15 +0100 | haftmann | explizit "type" superclass | file | diff | annotate |
| Fri, 16 Mar 2007 21:32:07 +0100 | haftmann | added FIXME hints | file | diff | annotate |