| Mon, 24 May 2010 12:42:17 -0700 | huffman | move HOLCF/Sum_Cpo.thy to HOLCF/Library | 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 |