Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. unused;
  2. clarified signature;
  3. merged
  4. added Isabelle identification to Mirabelle output
  5. uniformized fact selection for ATP and SMT in Sledgehammer
Changeset 75073:f8008b40b8a0 by wenzelm:
unused;
The file was modified src/Tools/Haskell/Haskell.thy (diff)
Changeset 75072:5299272be4c3 by wenzelm:
clarified signature;
The file was modified src/Tools/Haskell/Haskell.thy (diff)
Changeset 75071:e93ebbb71c1f by desharna:
merged
Changeset 75070:500a668f3ef5 by desharna:
added Isabelle identification to Mirabelle output
The file was modified src/HOL/Tools/Mirabelle/mirabelle.scala (diff)
Changeset 75069:455d886009b1 by desharna:
uniformized fact selection for ATP and SMT in Sledgehammer
The file was modified src/HOL/Tools/Sledgehammer/sledgehammer_prover.ML (diff)
The file was modified src/HOL/Tools/Sledgehammer/sledgehammer_prover_atp.ML (diff)
The file was modified src/HOL/Tools/Sledgehammer/sledgehammer_prover_smt.ML (diff)