Tue, 09 Aug 2011 13:09:35 -0700 | huffman | bounded_linear interpretation for euclidean_component | changeset | files |
Tue, 09 Aug 2011 12:50:22 -0700 | huffman | lemma bounded_linear_intro | changeset | files |
Tue, 09 Aug 2011 10:42:07 -0700 | huffman | avoid duplicate rewrite warnings | changeset | files |