Sun, 22 Feb 2009 10:53:10 -0800 | huffman | simplify some proofs | file | diff | annotate |
Sat, 21 Feb 2009 16:51:42 -0800 | huffman | fix spelling | file | diff | annotate |
Thu, 19 Feb 2009 09:42:23 -0800 | huffman | new theory of real inner product spaces | file | diff | annotate |