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