| Sat, 05 Nov 2005 21:50:37 +0100 | huffman | renamed and added ch2ch, cont2cont, mono2mono theorems ending in _fun, _lambda, _LAM | file | diff | annotate |
| Fri, 04 Nov 2005 22:27:40 +0100 | huffman | cleaned up | file | diff | annotate |
| Tue, 11 Oct 2005 23:19:50 +0200 | huffman | cleaned up; renamed less_fun to expand_fun_less | file | diff | annotate |