Status

Changes

Console Output

View Build Information

Polling Log

Timings

Environment Variables

Mercurial Build Data

Embeddable Build Status

Previous Build

Next Build

Changes

Summary

export ML function (towards nonuniform datatypes)

Changeset 64628:19bc22274cd9 by blanchet: export ML function (towards nonuniform datatypes)
The file was modified	`src/HOL/Tools/BNF/bnf_fp_def_sugar_tactics.ML` (diff)