Status

Changes

Console Output

View as plain text

View Build Information

Polling Log

Parameters

Timings

Environment Variables

Mercurial Build Data

Embeddable Build Status

Previous Build

Changes

Summary

pretty-printing sledgehammer proof commands: x(1) x(2) -> x(1,2)

Changeset 80931:ccd140385fca by nipkow: pretty-printing sledgehammer proof commands: x(1) x(2) -> x(1,2)
The file was modified	`src/HOL/Tools/Sledgehammer/sledgehammer_proof_methods.ML` (diff)