Up to index of Isabelle/HOL/HOL-Complex/HOL-Complex-Matrix
theory Cplex(* Title: HOL/Matrix/cplex/Cplex.thy ID: $Id: Cplex.thy,v 1.2 2005/07/19 15:28:37 wenzelm Exp $ Author: Steven Obua *) theory Cplex imports FloatSparseMatrix uses "Cplex_tools.ML" "CplexMatrixConverter.ML" "FloatSparseMatrixBuilder.ML" "fspmlp.ML" begin end