Status

Changes

Console Output

View Build Information

Polling Log

Parameters

Timings

Environment Variables

Mercurial Build Data

Embeddable Build Status

Previous Build

Next Build

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)