| Wed, 17 Nov 2010 08:47:58 -0800 | huffman | move strict function type into main HOLCF; instance cfun :: (predomain, domain) domain | file | diff | annotate |
| Wed, 10 Nov 2010 17:56:08 -0800 | huffman | move map functions to new theory file Map_Functions; add theory file Plain_HOLCF | file | diff | annotate |