Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. avoid slow IntInf.pow in Poly/ML 5.7.1 testing version, e.g. relevant for AFP/Lorenz_C0;
  2. delegate boundary cases to existing IntInf.pow;
Changeset 66997:17eb23e43630 by wenzelm:
avoid slow IntInf.pow in Poly/ML 5.7.1 testing version, e.g. relevant for AFP/Lorenz_C0;
The file was modified src/Pure/General/integer.ML (diff)
Changeset 66996:22ca0f37f491 by wenzelm:
delegate boundary cases to existing IntInf.pow;
The file was modified src/Pure/General/integer.ML (diff)