Status

Changes

Console Output

View Build Information

Polling Log

Timings

Environment Variables

Mercurial Build Data

Embeddable Build Status

Previous Build

Next Build

Changes

Summary

Tuned generation of elimination rules in function package

Changeset 65136:115bcddf2ea2 by eberlm _eberlm@in.tum.de_: Tuned generation of elimination rules in function package
The file was modified	`src/HOL/Tools/Function/function_elims.ML` (diff)