--- a/src/HOL/Matrix/fspmlp.ML Tue Jul 13 11:38:03 2010 +0200 +++ b/src/HOL/Matrix/fspmlp.ML Tue Jul 13 11:38:04 2010 +0200 @@ -1,4 +1,4 @@ -(* Title: HOL/Matrix/cplex/fspmlp.ML +(* Title: HOL/Matrix/fspmlp.ML Author: Steven Obua *)