src/HOL/Matrix/matrixlp.ML
2010-11-02 wenzelm 2010-11-02 eliminated fragile catch-all pattern, based on educated guess about the intended exception;
2010-07-13 haftmann 2010-07-13 corrected title
2010-07-12 haftmann 2010-07-12 more regular session structure