Mon, 06 Dec 2010 08:59:58 -0800 | huffman | pcpodef no longer generates _defined lemmas, use _bottom_iff lemmas instead | changeset | files |
Mon, 06 Dec 2010 08:43:52 -0800 | huffman | cpodef no longer generates lemma is_lub_foo, since it is redundant with lub_foo | changeset | files |