src/HOL/Matrix/fspmlp.ML
Fri, 03 Sep 2004 17:10:36 +0200 obua Matrix theory, linear programming
less more (0) tip