src/Pure/General/integer.ML
20 months ago wenzelm 2017-11-14 slightly faster than Poly/ML 5.7.1 library implementation, notably on 32bit multicore (amending 2288cc39b038)
20 months ago wenzelm 2017-11-08 removed obsolete workaround: always use existing IntInf.pow;
20 months ago wenzelm 2017-11-03 avoid slow IntInf.pow in Poly/ML 5.7.1 testing version, e.g. relevant for AFP/Lorenz_C0;
20 months ago wenzelm 2017-11-03 delegate boundary cases to existing IntInf.pow;
2016-06-04 wenzelm 2016-06-04 Integer.lcm normalizes the sign as in HOL/GCD.thy; tuned;
2009-10-20 wenzelm 2009-10-20 uniform use of Integer.min/max;
2009-10-19 wenzelm 2009-10-19 uniform use of Integer.add/mult/sum/prod;
2009-01-21 wenzelm 2009-01-21 removed Ids;
2008-11-24 krauss 2008-11-24 removed "log" again, as IntInf.log2 already exists.
2008-11-21 krauss 2008-11-21 added binary logarithm
2008-09-22 haftmann 2008-09-22 fixed headers
2007-09-18 wenzelm 2007-09-18 moved Tools/integer.ML to Pure/General/integer.ML;