| Fri, 12 Aug 2011 20:55:22 -0700 | huffman | remove redundant lemma setsum_norm in favor of norm_setsum; | file | diff | annotate |
| Fri, 12 Aug 2011 09:17:24 -0700 | huffman | make Multivariate_Analysis work with separate set type | file | diff | annotate |
| Thu, 11 Aug 2011 14:24:05 -0700 | huffman | avoid duplicate rule warnings | file | diff | annotate |