| Thu, 20 Mar 2014 15:13:55 -0700 | huffman | generalize more theorems | changeset | files |
| Thu, 20 Mar 2014 09:21:39 -0700 | huffman | generalize some theorems | changeset | files |
| Thu, 20 Mar 2014 12:43:48 +0000 | paulson | fixing messy proofs | changeset | files |
| Thu, 20 Mar 2014 09:47:43 +0100 | kleing | pointer to the other proof direction | changeset | files |
| Wed, 19 Mar 2014 20:50:24 -0700 | huffman | generalize theory of operator norms to work with class real_normed_vector | changeset | files |
| Wed, 19 Mar 2014 23:13:45 +0100 | wenzelm | tuned -- no need for slightly obscure "local" prefix; | changeset | files |
| Wed, 19 Mar 2014 22:26:27 +0100 | wenzelm | accomodate word as part of schematic variable name; | changeset | files |