src/HOL/Matrix/Cplex.thy
2010-07-12 haftmann 2010-07-12 more regular session structure