Wed, 10 Nov 2010 14:59:52 -0800 | huffman | allow unpointed lazy arguments for definitional domain package | file | diff | annotate |
Sat, 30 Oct 2010 15:13:11 -0700 | huffman | change default_sort of HOLCF from pcpo to bifinite; rename command 'new_domain' to 'domain'; rename 'domain' to 'domain (unsafe)' | file | diff | annotate |
Wed, 27 Oct 2010 13:54:18 -0700 | huffman | rename lemmas *_defined_iff and *_strict_iff to *_bottom_iff | 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 |
Mon, 24 May 2010 11:29:49 -0700 | huffman | move unused pattern match syntax stuff into HOLCF/ex | file | diff | annotate |
Wed, 19 May 2010 17:01:07 -0700 | huffman | move some example files into new HOLCF/Tutorial directory | file | diff | annotate | base |