src/HOL/Matrix/conv.ML
2004-09-03 obua 2004-09-03 Matrix theory, linear programming