src/HOL/Matrix/ROOT.ML
author wenzelm
Fri Apr 23 20:49:26 2004 +0200 (2004-04-23)
changeset 14662 d2c6a0f030ab
parent 14610 9c2e31e483b2
child 15178 5f621aa35c25
permissions -rw-r--r--
proper document setup;
     1 (*  Title:      HOL/Matrix/ROOT.ML
     2     ID:         $Id$
     3     Author:     Steven Obua
     4     License:    2004 Technische Universität München
     5 
     6 Theory of matrices with an application of matrix theory to linear
     7 programming.
     8 *)
     9 
    10 use_thy "LinProg";