| Fri, 11 Apr 2014 13:36:57 +0200 | nipkow | made mult_nonneg_nonneg a simp rule | file | diff | annotate |
| Tue, 13 Aug 2013 16:25:47 +0200 | wenzelm | standardized symbols via "isabelle update_sub_sup", excluding src/Pure and src/Tools/WWW_Find; | file | diff | annotate |
| Fri, 19 Oct 2012 15:12:52 +0200 | webertj | Renamed {left,right}_distrib to distrib_{right,left}. | file | diff | annotate |
| 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 |