Mercurial Mercurial > repos > isabelle / annotate
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/Matrix/ROOT.ML
author obua
Sun, 09 May 2004 23:04:36 +0200
changeset 14722 8e739a6eaf11
parent 14662 d2c6a0f030ab
child 15178 5f621aa35c25
permissions -rw-r--r--
replaced apply-style proof for instance Multiset :: plus_ac0 by recommended Isar proof style
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
14662
d2c6a0f030ab proper document setup;
wenzelm
parents: 14610
diff changeset 
     1
 
(*  Title:      HOL/Matrix/ROOT.ML
d2c6a0f030ab proper document setup;
wenzelm
parents: 14610
diff changeset 
     2
 
    ID:         $Id$
d2c6a0f030ab proper document setup;
wenzelm
parents: 14610
diff changeset 
     3
 
    Author:     Steven Obua
d2c6a0f030ab proper document setup;
wenzelm
parents: 14610
diff changeset 
     4
 
    License:    2004 Technische Universität München
d2c6a0f030ab proper document setup;
wenzelm
parents: 14610
diff changeset 
     5
 












d2c6a0f030ab
proper document setup;



wenzelm


parents: 
14610

diff
changeset




     6


Theory of matrices with an application of matrix theory to linear













d2c6a0f030ab
proper document setup;



wenzelm


parents: 
14610

diff
changeset




     7


programming.













d2c6a0f030ab
proper document setup;



wenzelm


parents: 
14610

diff
changeset




     8


*)













d2c6a0f030ab
proper document setup;



wenzelm


parents: 
14610

diff
changeset




     9









14610






9c2e31e483b2
added HOL-Matrix, added HOL/Matrix/ROOT.ML



kleing


parents: 

diff
changeset




    10


use_thy "LinProg";















isabelle