Sat, 16 Oct 2010 15:26:30 -0700 | huffman | reimplement proof automation for coinduct rules | file | diff | annotate |
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, 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 |