Status

Changes

Console Output

View Build Information

Polling Log

Timings

Environment Variables

Mercurial Build Data

Embeddable Build Status

Previous Build

Next Build

Changes

Summary

proper treatment of $let variables in symbol table in Sledgehammer

Changeset 74984:192876ea202d by desharna: proper treatment of $let variables in symbol table in Sledgehammer
The file was modified	`src/HOL/Tools/ATP/atp_problem_generate.ML` (diff)