src/HOL/Real/float_arith.ML
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