| Mon, 14 Jan 2008 20:28:59 +0100 | huffman | class bifinite supersedes class dcpo; remove unnecessary dcpo stuff | file | diff | annotate |
| Mon, 14 Jan 2008 03:56:31 +0100 | huffman | use new-style class for po | file | diff | annotate |
| Thu, 10 Jan 2008 20:53:06 +0100 | huffman | new theory defining set as a pcpo | file | diff | annotate |