src/HOL/Matrix/CplexMatrixConverter.ML
2010-07-13 haftmann 2010-07-13 corrected title
2010-07-12 haftmann 2010-07-12 more regular session structure
2005-03-03 skalberg 2005-03-03 Move towards standard functions.
2005-02-13 skalberg 2005-02-13 Deleted Library.option type.
2004-09-03 obua 2004-09-03 Matrix theory, linear programming