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
obua@15178
     1
use_thy "MatrixLP"