src/HOL/Matrix_LP/Cplex_tools.ML
changeset 47455 26315a545e26
parent 46988 9f492f5b0cec
child 50902 cb2b940e2fdf
     1.1 --- a/src/HOL/Matrix_LP/Cplex_tools.ML	Fri Apr 13 13:59:35 2012 +0200
     1.2 +++ b/src/HOL/Matrix_LP/Cplex_tools.ML	Fri Apr 13 14:00:26 2012 +0200
     1.3 @@ -1,4 +1,4 @@
     1.4 -(*  Title:      HOL/Matrix/Cplex_tools.ML
     1.5 +(*  Title:      HOL/Matrix_LP/Cplex_tools.ML
     1.6      Author:     Steven Obua
     1.7  *)
     1.8