Status

Changes

Console Output

View Build Information

Polling Log

Timings

Environment Variables

Mercurial Build Data

Embeddable Build Status

Previous Build

Next Build

Changes

Summary

store high-level 'size' equations

Changeset 67314:315b5c29e927 by blanchet: store high-level 'size' equations
The file was modified	`src/HOL/Tools/BNF/bnf_lfp_size.ML` (diff)