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 |