src/HOL/Matrix/cplex/FloatSparseMatrixBuilder.ML
2009-09-29 wenzelm 2009-09-29 explicit indication of Unsynchronized.ref;
2009-07-09 wenzelm 2009-07-09 renamed functor TableFun to Table, and GraphFun to Graph;
2007-09-18 wenzelm 2007-09-18 simplified type int (eliminated IntInf.int, integer);
2007-08-17 obua 2007-08-17 tuned
2007-07-20 obua 2007-07-20 new functions cut_matrix', etc.
2007-07-09 obua 2007-07-09 adopted to new computing oracle and fixed bugs introduced by tuning
2007-06-05 haftmann 2007-06-05 tuned integers
2007-05-14 haftmann 2007-05-14 reorganized float arithmetic
2007-05-13 haftmann 2007-05-13 whitespace tuned
2007-04-04 wenzelm 2007-04-04 removed obsolete sign_of/sign_of_thm;
2006-10-20 haftmann 2006-10-20 Symtab.foldl replaced by Symtab.fold
2006-09-06 haftmann 2006-09-06 got rid of Numeral.bin type
2005-09-15 wenzelm 2005-09-15 TableFun/Symtab: curried lookup and update;
2005-09-05 wenzelm 2005-09-05 curried_lookup/update;
2005-07-19 obua 2005-07-19 proving bounds for real linear programs
2005-07-13 obua 2005-07-13 - added cplex package to HOL/Matrix