Tue, 25 Nov 2008 23:28:06 +0100 | huffman | renamed lemma compact_minimal to compact_bot_minimal; | changeset | files |
Tue, 25 Nov 2008 23:26:44 +0100 | huffman | renamed lemma compact_minimal to compact_bot_minimal | changeset | files |
Tue, 25 Nov 2008 18:07:33 +0100 | ballarin | Use standard export function. | changeset | files |