src/HOL/Matrix/ROOT.ML
author obua
Fri Sep 03 17:10:36 2004 +0200 (2004-09-03)
changeset 15178 5f621aa35c25
parent 14662 d2c6a0f030ab
child 15580 900291ee0af8
permissions -rw-r--r--
Matrix theory, linear programming
     1 use_thy "MatrixLP"