src/HOL/Multivariate_Analysis/L2_Norm.thy
2014-11-02 wenzelm 2014-11-02 modernized header;
2014-04-11 nipkow 2014-04-11 made mult_nonneg_nonneg a simp rule
2013-08-13 wenzelm 2013-08-13 standardized symbols via "isabelle update_sub_sup", excluding src/Pure and src/Tools/WWW_Find;
2012-10-19 webertj 2012-10-19 Renamed {left,right}_distrib to distrib_{right,left}.
2011-08-10 huffman 2011-08-10 avoid warnings about duplicate rules
2011-03-13 wenzelm 2011-03-13 tuned headers;
2011-03-03 wenzelm 2011-03-03 tuned proofs -- eliminated prems;
2010-04-24 huffman 2010-04-24 move l2-norm stuff into separate theory file