Status

Changes

Console Output

View Build Information

Polling Log

Timings

Environment Variables

Mercurial Build Data

Embeddable Build Status

Previous Build

Next Build

Changes

Summary

enable an E option suggested by Petar Vukmirovic

Changeset 75413:9c0300345e17 by blanchet: enable an E option suggested by Petar Vukmirovic
The file was modified	`src/HOL/Tools/Sledgehammer/sledgehammer_atp_systems.ML` (diff)