Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. added predicate totalp_on and abbreviation totalp
  2. excluded dummy ATPs from Sledgehammer's default provers
Changeset 75466:5f2a1efd0560 by desharna:
added predicate totalp_on and abbreviation totalp
The file was modified src/HOL/Relation.thy (diff)
Changeset 75465:d9b23902692d by desharna:
excluded dummy ATPs from Sledgehammer's default provers
The file was modified src/HOL/Tools/Sledgehammer/sledgehammer_atp_systems.ML (diff)
The file was modified src/HOL/Tools/Sledgehammer/sledgehammer_commands.ML (diff)
The file was modified src/HOL/Tools/Sledgehammer/sledgehammer_prover.ML (diff)