# HG changeset patch
# User haftmann
# Date 1279013884 -7200
# Node ID 261c61fabc9815bc266863d50b81076f30718878
# Parent  30dc3abf4a58eef0828a2e680e16bf277c54325f
corrected title

diff -r 30dc3abf4a58 -r 261c61fabc98 src/HOL/Matrix/CplexMatrixConverter.ML
--- 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
 *)
 
diff -r 30dc3abf4a58 -r 261c61fabc98 src/HOL/Matrix/Cplex_tools.ML
--- a/src/HOL/Matrix/Cplex_tools.ML	Tue Jul 13 11:38:03 2010 +0200
+++ b/src/HOL/Matrix/Cplex_tools.ML	Tue Jul 13 11:38:04 2010 +0200
@@ -1,4 +1,4 @@
-(*  Title:      HOL/Matrix/cplex/Cplex_tools.ML
+(*  Title:      HOL/Matrix/Cplex_tools.ML
     Author:     Steven Obua
 *)
 
diff -r 30dc3abf4a58 -r 261c61fabc98 src/HOL/Matrix/FloatSparseMatrixBuilder.ML
--- a/src/HOL/Matrix/FloatSparseMatrixBuilder.ML	Tue Jul 13 11:38:03 2010 +0200
+++ b/src/HOL/Matrix/FloatSparseMatrixBuilder.ML	Tue Jul 13 11:38:04 2010 +0200
@@ -1,4 +1,4 @@
-(*  Title:      HOL/Matrix/cplex/FloatSparseMatrixBuilder.ML
+(*  Title:      HOL/Matrix/FloatSparseMatrixBuilder.ML
     Author:     Steven Obua
 *)
 
diff -r 30dc3abf4a58 -r 261c61fabc98 src/HOL/Matrix/fspmlp.ML
--- 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
 *)
 
diff -r 30dc3abf4a58 -r 261c61fabc98 src/HOL/Matrix/matrixlp.ML
--- a/src/HOL/Matrix/matrixlp.ML	Tue Jul 13 11:38:03 2010 +0200
+++ b/src/HOL/Matrix/matrixlp.ML	Tue Jul 13 11:38:04 2010 +0200
@@ -1,4 +1,4 @@
-(*  Title:      HOL/Matrix/cplex/matrixlp.ML
+(*  Title:      HOL/Matrix/matrixlp.ML
     Author:     Steven Obua
 *)