| Mon, 01 Mar 2010 23:54:50 -0800 | huffman | need to explicitly include REP_convex | file | diff | annotate |
| Thu, 19 Nov 2009 16:47:18 -0800 | huffman | fix definitions of copy combinators | file | diff | annotate |
| Thu, 19 Nov 2009 10:26:53 -0800 | huffman | change example to use recursion with continuous function space | file | diff | annotate |
| Thu, 19 Nov 2009 08:22:00 -0800 | huffman | change naming convention for deflation combinators | file | diff | annotate |
| Thu, 19 Nov 2009 07:09:04 -0800 | huffman | avoid using csplit; define copy functions exactly like the current domain package | file | diff | annotate |
| 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 |