| Wed, 07 May 2008 10:57:19 +0200 | berghofe | Adapted to encoding of sets as predicates | file | diff | annotate |
| Thu, 27 Mar 2008 00:27:16 +0100 | huffman | make preorder locale into a superclass of class po | 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 |
| Wed, 06 Feb 2008 08:34:32 +0100 | haftmann | locales ACf, ACIf, ACIfSL and ACIfSLlin have been abandoned in favour of the existing algebraic classes ab_semigroup_mult, ab_semigroup_idem_mult, lower_semilattice (resp. uper_semilattice) and linorder | file | diff | annotate |
| Fri, 18 Jan 2008 20:22:07 +0100 | huffman | change lemma admD to rule_format | file | diff | annotate |
| Mon, 14 Jan 2008 19:26:41 +0100 | huffman | new theory of powerdomains | file | diff | annotate |