Status

Changes

Console Output

View as plain text

View Build Information

Polling Log

Parameters

Timings

Environment Variables

Mercurial Build Data

Embeddable Build Status

Previous Build

Next Build

Changes

Summary

renamed lemma wfP_iff_ex_minimal to wfp_iff_ex_minimal

Changeset 80722:991557e01814 by desharna: renamed lemma wfP_iff_ex_minimal to wfp_iff_ex_minimal
The file was modified	`NEWS` (diff)
The file was modified	`src/HOL/Wellfounded.thy` (diff)