src/Tools/float.ML
15 months ago wenzelm 2018-02-01 tuned signature: more operations;
2009-02-28 wenzelm 2009-02-28 removed Ids;
2007-09-18 wenzelm 2007-09-18 simplified type int (eliminated IntInf.int, integer);
2007-09-15 haftmann 2007-09-15 fixed title
2007-06-29 haftmann 2007-06-29 tuned arithmetic modules
2007-06-09 wenzelm 2007-06-09 simplified type integer;
2007-06-05 haftmann 2007-06-05 tuned integers
2007-06-05 haftmann 2007-06-05 moved generic algebra modules