src/HOL/Matrix/MatrixLP.thy
author obua
Fri Sep 03 17:10:36 2004 +0200 (2004-09-03)
changeset 15178 5f621aa35c25
permissions -rw-r--r--
Matrix theory, linear programming
     1 theory MatrixLP = Float + SparseMatrix:
     2 
     3 end
     4