|
The file was modified
| NEWS (diff) |
The file was modified
| src/HOL/Wellfounded.thy (diff) |
|
Changeset
79922:caa9dbffd712
by desharna:
added lemmas wf_on_antimono, wf_on_antimono_strong, wfp_on_antimono, wfp_on_antimono_strong, wf_on_subset, and wfp_on_subset
|
The file was modified
| NEWS (diff) |
The file was modified
| src/HOL/Wellfounded.thy (diff) |
|
The file was modified
| src/Pure/Build/build_schedule.scala (diff) |
|
The file was modified
| src/HOL/Wellfounded.thy (diff) |
Changeset
79919:65e0682cca63
by desharna:
added lemmas wfP_iff_ex_minimal, wf_iff_ex_minimal, wf_onE_pf, wf_onI_pf, wf_on_iff_ex_minimal, and wfp_on_iff_ex_minimal
|
The file was modified
| NEWS (diff) |
The file was modified
| src/HOL/Wellfounded.thy (diff) |
|
|
The file was modified
| NEWS (diff) |
The file was modified
| src/HOL/Wellfounded.thy (diff) |