Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. formal dependency on "poly" executable;
  3. removed obsolete workaround: always use existing IntInf.pow;
Changeset 67035:8b7233175199 by wenzelm:
merged
Changeset 67034:09fb749d1a1e by wenzelm:
formal dependency on "poly" executable;
The file was modified src/Pure/Pure.thy (diff)
Changeset 67033:2288cc39b038 by wenzelm:
removed obsolete workaround: always use existing IntInf.pow;
The file was modified src/Pure/General/integer.ML (diff)