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 |