Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. further tweaked E's setup
  2. tweaked E setup
Changeset 75370:bdab2daa2779 by blanchet:
further tweaked E's setup
The file was modified src/HOL/Tools/Sledgehammer/sledgehammer_atp_systems.ML (diff)
Changeset 75369:307a0ae5f978 by blanchet:
tweaked E setup
The file was modified src/HOL/Tools/Sledgehammer/sledgehammer_atp_systems.ML (diff)