src/HOL/Matrix/cplex/Cplex.thy
author obua
Thu, 07 Jun 2007 17:21:43 +0200
changeset 23293 77577fc2f141
parent 16890 c4e5afaba440
child 23665 825bea0266db
permissions -rw-r--r--
deleted comments
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
16784
92ff7c903585 - added cplex package to HOL/Matrix
obua
parents:
diff changeset
     1
(*  Title:      HOL/Matrix/cplex/Cplex.thy
92ff7c903585 - added cplex package to HOL/Matrix
obua
parents:
diff changeset
     2
    ID:         $Id$
92ff7c903585 - added cplex package to HOL/Matrix
obua
parents:
diff changeset
     3
    Author:     Steven Obua
92ff7c903585 - added cplex package to HOL/Matrix
obua
parents:
diff changeset
     4
*)
92ff7c903585 - added cplex package to HOL/Matrix
obua
parents:
diff changeset
     5
92ff7c903585 - added cplex package to HOL/Matrix
obua
parents:
diff changeset
     6
theory Cplex 
92ff7c903585 - added cplex package to HOL/Matrix
obua
parents:
diff changeset
     7
imports FloatSparseMatrix
16890
c4e5afaba440 isatool fixheaders;
wenzelm
parents: 16784
diff changeset
     8
uses "Cplex_tools.ML" "CplexMatrixConverter.ML" "FloatSparseMatrixBuilder.ML" "fspmlp.ML"
16784
92ff7c903585 - added cplex package to HOL/Matrix
obua
parents:
diff changeset
     9
begin
92ff7c903585 - added cplex package to HOL/Matrix
obua
parents:
diff changeset
    10
92ff7c903585 - added cplex package to HOL/Matrix
obua
parents:
diff changeset
    11
end
92ff7c903585 - added cplex package to HOL/Matrix
obua
parents:
diff changeset
    12
92ff7c903585 - added cplex package to HOL/Matrix
obua
parents:
diff changeset
    13
92ff7c903585 - added cplex package to HOL/Matrix
obua
parents:
diff changeset
    14