Wed, 18 Nov 2009 16:57:58 -0800 | huffman | remove one_typ and tr_typ; add abs/rep lemmas | file | diff | annotate |
Fri, 13 Nov 2009 15:31:20 -0800 | huffman | automate definition of representable domains from algebraic deflations | file | diff | annotate |
Tue, 10 Nov 2009 06:47:55 -0800 | huffman | HOLCF example: domain package proofs done manually | file | diff | annotate |