Status

Changes

Console Output

View Build Information

Polling Log

Timings

Environment Variables

Mercurial Build Data

Embeddable Build Status

Previous Build

Next Build

Changes

Summary

added 'mlex_iff' lemma and simplified proof

Changeset 66952:80985b62029d by blanchet: added 'mlex_iff' lemma and simplified proof
The file was modified	`src/HOL/Wellfounded.thy` (diff)