Mon, 06 Dec 2010 11:44:30 -0800 | huffman | remove unused lemmas | changeset | files |
Mon, 06 Dec 2010 11:22:42 -0800 | huffman | remove lemma cont_cfun; | changeset | files |
Mon, 06 Dec 2010 10:08:33 -0800 | huffman | rename lub_fun -> is_lub_fun, thelub_fun -> lub_fun | changeset | files |