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