Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. disable 'falsify' and 'abduce' in Sledgehammer by default, since they don't seem to be very useful in practice
Changeset 78149:d3122089b67c by blanchet:
disable 'falsify' and 'abduce' in Sledgehammer by default, since they don't seem to be very useful in practice
The file was modified NEWS (diff)
The file was modified src/Doc/Sledgehammer/document/root.tex (diff)
The file was modified src/HOL/Tools/Sledgehammer/sledgehammer_commands.ML (diff)