src/HOL/Matrix/Float.thy
2004-09-03 obua 2004-09-03 Matrix theory, linear programming