| 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 |
| Thu, 07 Jul 2005 18:19:20 +0200 | huffman | add lemmas ch2ch_cont and cont2contlubE | file | diff | annotate |
| Fri, 01 Jul 2005 01:50:07 +0200 | huffman | cleaned up; reorganized and added section headings | file | diff | annotate |
| Sat, 25 Jun 2005 01:04:01 +0200 | huffman | cleaned up proof of contlub_abstraction | file | diff | annotate |
| Tue, 14 Jun 2005 04:05:15 +0200 | huffman | renamed theorem cont2cont_CF1L_rev2 to cont2cont_lambda | file | diff | annotate |