| Sat, 27 Nov 2010 13:12:10 -0800 | huffman | renamed several HOLCF theorems (listed in NEWS) | file | diff | annotate |
| Wed, 03 Nov 2010 15:47:46 -0700 | huffman | discontinue a bunch of legacy theorem names | file | diff | annotate |
| Mon, 24 May 2010 12:10:24 -0700 | huffman | move Strict_Fun and Stream theories to new HOLCF/Library directory; add HOLCF/Library to search path | file | diff | annotate |