changeset 37788 | 261c61fabc98 |
parent 37764 | 3489daf839d5 |
child 41491 | a2ad5b824051 |
--- 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 *)