| Sun, 14 Mar 2010 19:48:33 -0700 | huffman | use headers consistently | file | diff | annotate |
| Sat, 13 Mar 2010 12:24:50 -0800 | huffman | remove redundant lemmas | file | diff | annotate |
| Tue, 01 Jul 2008 01:25:16 +0200 | huffman | theory of eventually-constant sequences | file | diff | annotate |