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