src/HOL/Matrix/ROOT.ML

replaced apply-style proof for instance Multiset :: plus_ac0 by recommended Isar proof style

(*  Title:      HOL/Matrix/ROOT.ML
    ID:         $Id$
    Author:     Steven Obua
    License:    2004 Technische Universität München

Theory of matrices with an application of matrix theory to linear
programming.
*)

use_thy "LinProg";