Skip to content
Jenkins
log in
Dashboard
testboard
#1025
Changes
Status
Changes
Console Output
View Build Information
Polling Log
Parameters
Timings
Environment Variables
Mercurial Build Data
Embeddable Build Status
Previous Build
Next Build
Failed
Changes
Summary
pretty-printing sledgehammer command: merge indexed theorems
Changeset
80932:ca7e7e41374e
by
nipkow
:
pretty-printing sledgehammer command: merge indexed theorems
The file was modified
src/HOL/Tools/Sledgehammer/sledgehammer_proof_methods.ML
(diff)