--- a/src/HOL/Matrix/cplex/MatrixLP.thy Thu May 31 20:55:32 2007 +0200
+++ b/src/HOL/Matrix/cplex/MatrixLP.thy Thu May 31 20:55:33 2007 +0200
@@ -4,7 +4,7 @@
*)
theory MatrixLP
-imports Cplex
+imports Cplex "~~/src/Tools/Compute_Oracle/Compute_Oracle"
uses ("matrixlp.ML")
begin