src/HOL/Matrix/ROOT.ML

isamarkuptext/txt: \par before changing sizes prevents spacing anomaly;

(*  Title:      HOL/Matrix/ROOT.ML
    ID:         $Id$
*)

use_thy "SparseMatrix";
with_path "cplex" use_thy "MatrixLP";