Wed, 27 Oct 2010 11:10:36 -0700 | huffman | make domain package work with non-cpo argument types | file | diff | annotate |
Tue, 26 Oct 2010 14:19:59 -0700 | huffman | use Named_Thms instead of Theory_Data for some domain package theorems | file | diff | annotate |
Mon, 11 Oct 2010 08:32:09 -0700 | huffman | renamed type and constant 'sfp' to 'defl'; replaced syntax SFP('a) with DEFL('a) | file | diff | annotate |
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 |