Mon, 19 May 2008 23:49:20 +0200 | huffman | use new class package for classes profinite, bifinite; remove approx class | file | diff | annotate |
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 |