| Tue, 01 Jul 2008 06:56:37 +0200 | huffman | range_composition no longer in simp set | changeset | files |
| Tue, 01 Jul 2008 06:51:59 +0200 | huffman | remove simp attribute from range_composition | changeset | files |
| Tue, 01 Jul 2008 06:21:28 +0200 | huffman | rename INF to INFM | changeset | files |
| Tue, 01 Jul 2008 03:14:00 +0200 | huffman | remove unused lemmas ub2ub_monofun' and dir2dir_monofun | changeset | files |
| Tue, 01 Jul 2008 03:12:39 +0200 | huffman | remove redundant instance proof finite_po < cpo | changeset | files |
| 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 |