Skip to content
Success

Changes

Summary

  1. added alias wfp for wfP
  2. merged
  3. added lemmas wf_on_antimono, wf_on_antimono_strong, wfp_on_antimono, wfp_on_antimono_strong, wf_on_subset, and wfp_on_subset
  4. start scheduled jobs earlier, if possible;
  5. tuned proofs
  6. 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
  7. merged
  8. added definitions wf_on and wfp_on as restricted versions of wf and wfP respectively
Changeset 79924:8d153846f65f by desharna:
added alias wfp for wfP
The file was modified NEWS (diff)
The file was modified src/HOL/Wellfounded.thy (diff)
Changeset 79923:6fc9c4344df4 by desharna:
merged
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)
Changeset 79921:1966578feff8 by fabian huch _huch@in.tum.de_:
start scheduled jobs earlier, if possible;
The file was modified src/Pure/Build/build_schedule.scala (diff)
Changeset 79920:91b7695c92cf by desharna:
tuned proofs
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)
Changeset 79918:87a04ce7e3c3 by desharna:
merged
Changeset 79917:d0205dde00bb by desharna:
added definitions wf_on and wfp_on as restricted versions of wf and wfP respectively
The file was modified NEWS (diff)
The file was modified src/HOL/Wellfounded.thy (diff)