--- a/src/HOL/Matrix_LP/Cplex.thy Fri Apr 13 13:59:35 2012 +0200 +++ b/src/HOL/Matrix_LP/Cplex.thy Fri Apr 13 14:00:26 2012 +0200 @@ -1,4 +1,4 @@ -(* Title: HOL/Matrix/Cplex.thy +(* Title: HOL/Matrix_LP/Cplex.thy Author: Steven Obua *)