src/HOL/Inequalities.thy
changeset 59720 f893472fff31
parent 59712 6c013328b885
child 60150 bd773c47ad0b
     1.1 --- a/src/HOL/Inequalities.thy	Mon Mar 16 16:26:33 2015 +0100
     1.2 +++ b/src/HOL/Inequalities.thy	Mon Mar 16 16:59:59 2015 +0100
     1.3 @@ -1,4 +1,4 @@
     1.4 -(*  Title:     Inequalities
     1.5 +(*  Title:     HOL/Inequalities.thy
     1.6      Author:    Tobias Nipkow
     1.7      Author:    Johannes Hölzl
     1.8  *)