src/HOL/Inequalities.thy
2015-05-01 nipkow 2015-05-01 simplified statement and proof
2015-04-28 paulson 2015-04-28 New material about complex transcendental functions (especially Ln, Arg) and polynomials
2015-03-16 wenzelm 2015-03-16 proper headers;
2015-03-16 hoelzl 2015-03-16 add inequalities (move from AFP/Amortized_Complexity)