Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. NEWS
  2. used standard Time.compare in Sledgehammer's preplay
Changeset 78737:183a28459663 by desharna:
NEWS
The file was modified NEWS (diff)
Changeset 78736:45867a453a3f by desharna:
used standard Time.compare in Sledgehammer's preplay
The file was modified src/HOL/Tools/Sledgehammer/sledgehammer_proof_methods.ML (diff)