Sun, 06 Nov 2005 01:21:37 +0100 | huffman | add case syntax stuff | changeset | files |
Sun, 06 Nov 2005 00:35:24 +0100 | huffman | use consts for infix syntax | changeset | files |
Sun, 06 Nov 2005 00:22:03 +0100 | huffman | add proof of Bekic's theorem: fix_cprod | changeset | files |
Sat, 05 Nov 2005 21:56:45 +0100 | huffman | simplify definitions | changeset | files |
Sat, 05 Nov 2005 21:52:13 +0100 | huffman | put iterate and fix in separate sections; added Letrec | changeset | files |
Sat, 05 Nov 2005 21:50:37 +0100 | huffman | renamed and added ch2ch, cont2cont, mono2mono theorems ending in _fun, _lambda, _LAM | changeset | files |
Sat, 05 Nov 2005 21:42:24 +0100 | huffman | add line breaks to Rep_CFun syntax | changeset | files |
Fri, 04 Nov 2005 23:15:45 +0100 | huffman | moved adm_chfindom from Fix.thy to Cfun.thy; moved admw-related stuff to its own section | changeset | files |