Status

Changes

Console Output

View Build Information

Polling Log

Environment Variables

Mercurial Build Data

Embeddable Build Status

Previous Build

Next Build

Changes

Summary

generate proper goal when equation is entered programmatically

Changeset 63727:2d21591967bc by traytel: generate proper goal when equation is entered programmatically
The file was modified	`src/HOL/Tools/BNF/bnf_gfp_rec_sugar.ML` (diff)