(* Title: HOL/Matrix/cplex/FloatSparseMatrix.thy ID: $Id$ Author: Steven Obua *) theory FloatSparseMatrix imports Float SparseMatrix begin end