src/HOL/Matrix/ROOT.ML
author obua
Mon Mar 07 18:19:55 2005 +0100 (2005-03-07)
changeset 15580 900291ee0af8
parent 15178 5f621aa35c25
child 16487 2060ebae96f9
permissions -rw-r--r--
Cleaning up HOL/Matrix
     1 use_thy "SparseMatrix"