huffman [Sun, 06 Nov 2005 00:22:03 +0100] rev 18095
add proof of Bekic's theorem: fix_cprod
huffman [Sat, 05 Nov 2005 21:56:45 +0100] rev 18094
simplify definitions
huffman [Sat, 05 Nov 2005 21:52:13 +0100] rev 18093
put iterate and fix in separate sections; added Letrec
huffman [Sat, 05 Nov 2005 21:50:37 +0100] rev 18092
renamed and added ch2ch, cont2cont, mono2mono theorems ending in _fun, _lambda, _LAM
huffman [Sat, 05 Nov 2005 21:42:24 +0100] rev 18091
add line breaks to Rep_CFun syntax
huffman [Fri, 04 Nov 2005 23:15:45 +0100] rev 18090
moved adm_chfindom from Fix.thy to Cfun.thy; moved admw-related stuff to its own section
huffman [Fri, 04 Nov 2005 23:15:11 +0100] rev 18089
moved adm_chfindom from Fix.thy to Cfun.thy