| Sat, 05 Nov 2005 21:50:37 +0100 | huffman | renamed and added ch2ch, cont2cont, mono2mono theorems ending in _fun, _lambda, _LAM | file | diff | annotate |
| Tue, 11 Oct 2005 23:19:50 +0200 | huffman | cleaned up; renamed less_fun to expand_fun_less | file | diff | annotate |
| Tue, 26 Jul 2005 18:29:59 +0200 | huffman | brought ML files up to date with new lemmas | file | diff | annotate |
| Fri, 03 Jun 2005 22:07:30 +0200 | huffman | renamed FunCpo theory to Ffun; added theorems ch2ch_fun_rev and app_strict | file | diff | annotate |