--- a/src/HOL/Matrix/cplex/ROOT.ML Tue Jul 19 14:59:11 2005 +0200
+++ b/src/HOL/Matrix/cplex/ROOT.ML Tue Jul 19 16:16:53 2005 +0200
@@ -2,4 +2,4 @@
ID: $Id$
*)
-(*use_thy "Cplex";*)
\ No newline at end of file
+use_thy "MatrixLP";
\ No newline at end of file