Wed, 17 Nov 2010 08:47:58 -0800 | huffman | move strict function type into main HOLCF; instance cfun :: (predomain, domain) domain | file | diff | annotate |
Mon, 11 Oct 2010 09:54:04 -0700 | huffman | add HOLCF/Library/Defl_Bifinite.thy, which proves instance defl :: bifinite | file | diff | annotate |
Sat, 04 Sep 2010 07:26:34 -0700 | huffman | add List_Cpo.thy to HOLCF/Library | file | diff | annotate |
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 |