| Wed, 10 Aug 2011 18:02:16 -0700 | huffman | avoid warnings about duplicate rules | file | diff | annotate |
| 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 |