src/HOL/Real/float_arith.ML
2007-11-05 obua 2007-11-05 corrected fucked up integer tuning
2007-09-18 wenzelm 2007-09-18 simplified type int (eliminated IntInf.int, integer);
2007-09-15 haftmann 2007-09-15 fixed title
2007-07-04 obua 2007-07-04 fixed argument order in calls to Integer.pow
2007-06-09 wenzelm 2007-06-09 simplified type integer;
2007-06-05 haftmann 2007-06-05 tuned integers
2007-05-14 haftmann 2007-05-14 reorganized float arithmetic