| Wed, 04 Mar 2009 10:45:52 +0100 | blanchet | Merge. | file | diff | annotate |
| Mon, 23 Feb 2009 10:42:31 -0800 | huffman | explicitly import Fact | file | diff | annotate |
| Fri, 20 Feb 2009 22:25:36 -0800 | huffman | generalize lemmas from nat to 'a::wellorder | file | diff | annotate |
| Fri, 20 Feb 2009 22:10:37 -0800 | huffman | generalize some lemmas | file | diff | annotate |
| Mon, 09 Feb 2009 16:42:15 +0000 | chaieb | Permutations, both general and specifically on finite sets. | file | diff | annotate |