| 2009-03-04 | blanchet | 2009-03-04 | Merge. | file | diff | annotate |
| 2009-03-04 | blanchet | 2009-03-04 | Merge. | file | diff | annotate |
| 2009-02-23 | huffman | 2009-02-23 | explicitly import Fact | file | diff | annotate |
| 2009-02-20 | huffman | 2009-02-20 | generalize lemmas from nat to 'a::wellorder | file | diff | annotate |
| 2009-02-20 | huffman | 2009-02-20 | generalize some lemmas | file | diff | annotate |
| 2009-02-09 | chaieb | 2009-02-09 | Permutations, both general and specifically on finite sets. | file | diff | annotate |