Fri, 20 Jun 2008 19:57:45 +0200 | huffman | add lemma Abs_image | changeset | files |
Fri, 20 Jun 2008 18:03:01 +0200 | huffman | added some lemmas; reorganized into sections; tuned proofs | changeset | files |
Fri, 20 Jun 2008 18:00:55 +0200 | huffman | added some lemmas; tuned proofs | changeset | files |