src/HOL/Real/float_arith.ML
2007-06-05 haftmann 2007-06-05 tuned integers
2007-05-14 haftmann 2007-05-14 reorganized float arithmetic