Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Changes from Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default)

Summary

  1. merged
  2. added upper bound on monomorphisation duplicate instances
  3. tuned best_slices in atp_config
  4. tuned exec field in atp_config
Changeset 73377:39826af584bf by desharna:
merged
Changeset 73376:96ef620c8b1e by desharna:
added upper bound on monomorphisation duplicate instances
The file was modified src/HOL/Tools/monomorph.ML
Changeset 73375:a80fd78c85bd by desharna:
tuned best_slices in atp_config
The file was modified src/HOL/Tools/Sledgehammer/sledgehammer_atp_systems.ML
Changeset 73374:316e12147698 by desharna:
tuned exec field in atp_config
The file was modified src/HOL/TPTP/atp_theory_export.ML
The file was modified src/HOL/Tools/Sledgehammer/sledgehammer_atp_systems.ML
The file was modified src/HOL/Tools/Sledgehammer/sledgehammer_prover_atp.ML