Wed, 26 Mar 2008 22:38:17 +0100 | huffman | rename class bifinite_cpo to profinite; generalize powerdomains from bifinite to profinite | file | diff | annotate |
Thu, 17 Jan 2008 21:56:33 +0100 | huffman | convert lemma lub_mono to rule_format | file | diff | annotate |
Thu, 17 Jan 2008 21:44:19 +0100 | huffman | rename lemma chain_mono3 -> chain_mono, chain_mono -> chain_mono_less | file | diff | annotate |
Mon, 14 Jan 2008 21:15:20 +0100 | huffman | add class bifinite_cpo for possibly-unpointed bifinite domains | file | diff | annotate |
Mon, 14 Jan 2008 19:26:01 +0100 | huffman | new theory of bifinite domains | file | diff | annotate |