Fri, 29 Oct 2010 17:15:28 -0700 | huffman | renamed {Rep,Abs}_CFun to {Rep,Abs}_cfun | file | diff | annotate |
Wed, 27 Oct 2010 14:15:54 -0700 | huffman | make syntax of continuous if-then-else consistent with HOL if-then-else | file | diff | annotate |
Sun, 24 Oct 2010 15:42:57 -0700 | huffman | rename case combinators generated by domain package to 'foo_case' instead of 'foo_when' | file | diff | annotate |
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 |