Mon, 11 Oct 2010 21:35:31 -0700 | huffman | new theorem names: fun_below_iff, fun_belowI, cfun_eq_iff, cfun_eqI, cfun_below_iff, cfun_belowI | file | diff | annotate |
Mon, 11 Oct 2010 08:32:09 -0700 | huffman | renamed type and constant 'sfp' to 'defl'; replaced syntax SFP('a) with DEFL('a) | file | diff | annotate |
Fri, 08 Oct 2010 07:39:50 -0700 | huffman | rename class 'sfp' to 'bifinite' | file | diff | annotate |
Wed, 06 Oct 2010 10:49:27 -0700 | huffman | major reorganization/simplification of HOLCF type classes: | 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 | base |