2006-09-13 | krauss | Major update to function package, including new syntax and the (only theoretical) | file | diff | annotate |
2005-11-29 | huffman | changed section names | file | diff | annotate |
2005-11-05 | huffman | renamed and added ch2ch, cont2cont, mono2mono theorems ending in _fun, _lambda, _LAM | file | diff | annotate |
2005-10-11 | huffman | cleaned up; renamed less_fun to expand_fun_less | file | diff | annotate |
2005-06-03 | huffman | renamed FunCpo theory to Ffun; added theorems ch2ch_fun_rev and app_strict | file | diff | annotate |