src/Tools/float.ML
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