src/HOL/Matrix/Cplex_tools.ML
2010-11-02 wenzelm 2010-11-02 avoid catch-all exception handling;
2010-07-13 haftmann 2010-07-13 corrected title
2010-07-12 haftmann 2010-07-12 more regular session structure