Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. consider equality proxy in monotonicity analysis
  2. adapted remote E
Changeset 63769:511d5ffd56ac by blanchet:
consider equality proxy in monotonicity analysis
The file was modified src/HOL/Tools/ATP/atp_problem_generate.ML (diff)
Changeset 63768:a09cfea0c2c9 by blanchet:
adapted remote E
The file was modified src/HOL/Tools/ATP/atp_systems.ML (diff)