| Sun, 13 Mar 2011 22:55:50 +0100 | wenzelm | tuned headers; | file | diff | annotate |
| Thu, 03 Mar 2011 21:43:06 +0100 | wenzelm | tuned proofs -- eliminated prems; | file | diff | annotate |
| Sat, 24 Apr 2010 11:11:09 -0700 | huffman | move l2-norm stuff into separate theory file | file | diff | annotate |