Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. prefixed all mirabelle_sledgehammer output lines with sledgehammer output
Changeset 74968:507203e30db4 by desharna:
merged
Changeset 74967:3f55c5feca58 by desharna:
prefixed all mirabelle_sledgehammer output lines with sledgehammer output
The file was modified src/HOL/Tools/Mirabelle/mirabelle_sledgehammer.ML (diff)