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