src/HOL/Matrix/CplexMatrixConverter.ML
changeset 37788 261c61fabc98
parent 37764 3489daf839d5
child 46531 eff798e48efc
equal deleted inserted replaced
37787:30dc3abf4a58 37788:261c61fabc98
     1 (*  Title:      HOL/Matrix/cplex/CplexMatrixConverter.ML
     1 (*  Title:      HOL/Matrix/CplexMatrixConverter.ML
     2     Author:     Steven Obua
     2     Author:     Steven Obua
     3 *)
     3 *)
     4 
     4 
     5 signature MATRIX_BUILDER =
     5 signature MATRIX_BUILDER =
     6 sig
     6 sig