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