| Wed, 13 Sep 2006 12:05:50 +0200 | krauss | Major update to function package, including new syntax and the (only theoretical) | file | diff | annotate |
| Wed, 30 Nov 2005 00:56:01 +0100 | huffman | changed section names | file | diff | annotate |
| 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 |
| 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 |