--- a/src/HOL/Inequalities.thy Mon Mar 16 16:26:33 2015 +0100 +++ b/src/HOL/Inequalities.thy Mon Mar 16 16:59:59 2015 +0100 @@ -1,4 +1,4 @@ -(* Title: Inequalities +(* Title: HOL/Inequalities.thy Author: Tobias Nipkow Author: Johannes Hölzl *)