Wed, 06 Oct 2010 10:49:27 -0700 | huffman | major reorganization/simplification of HOLCF type classes: | file | diff | annotate |
Tue, 05 Oct 2010 17:53:00 -0700 | Brian Huffman | add lemma finite_deflation_intro | file | diff | annotate |
Sun, 28 Feb 2010 18:33:57 -0800 | huffman | store deflation thms for map functions in theory data | file | diff | annotate |
Sun, 28 Feb 2010 14:55:42 -0800 | huffman | move some powerdomain stuff into a new file | file | diff | annotate |