| Tue, 01 Jul 2008 02:50:29 +0200 | huffman | remove unused lemma is_lub_Iup' | changeset | files |
| Tue, 01 Jul 2008 02:19:53 +0200 | huffman | replace lub (range Y) with (LUB i. Y i) | changeset | files |
| Tue, 01 Jul 2008 01:28:44 +0200 | huffman | add file dependencies | changeset | files |
| Tue, 01 Jul 2008 01:28:07 +0200 | huffman | universal bifinite domain | changeset | files |
| Tue, 01 Jul 2008 01:26:20 +0200 | huffman | isomorphisms between naturals and sums, products, and finite sets | changeset | files |
| Tue, 01 Jul 2008 01:25:40 +0200 | huffman | theory of algebraic deflations | changeset | files |
| Tue, 01 Jul 2008 01:25:16 +0200 | huffman | theory of eventually-constant sequences | changeset | files |
| Tue, 01 Jul 2008 01:19:08 +0200 | huffman | rename lemmas INF_foo to INFM_foo; add new lemmas about MOST and INFM | changeset | files |