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 |
Sat, 02 Feb 2008 03:26:40 +0100 | huffman | cleaned up | file | diff | annotate |
Fri, 18 Jan 2008 20:22:07 +0100 | huffman | change lemma admD 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 19:26:41 +0100 | huffman | new theory of powerdomains | file | diff | annotate |