Tue, 29 May 2007 18:31:30 +0200 | huffman | cleaned up some proofs | changeset | files |
Tue, 29 May 2007 18:19:56 +0200 | huffman | interpretation bounded_linear_divide | changeset | files |
Tue, 29 May 2007 17:37:04 +0200 | huffman | add bounded_linear lemmas | changeset | files |