Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. added lemma wfP_pfsubset
  2. added lemmas wf_if_convertible_to_wf, wfP_if_convertible_to_wfP, and wfP_if_convertible_to_nat
  3. update components.sha1;
  4. proper description;
  5. one more lemma
Changeset 76268:a627d67434db by desharna:
added lemma wfP_pfsubset
The file was modified NEWS (diff)
The file was modified src/HOL/Library/FSet.thy (diff)
Changeset 76267:5ea1f8bfb795 by desharna:
added lemmas wf_if_convertible_to_wf, wfP_if_convertible_to_wfP, and wfP_if_convertible_to_nat
The file was modified NEWS (diff)
The file was modified src/HOL/Wellfounded.thy (diff)
Changeset 76266:0b2fcf0c61db by wenzelm:
update components.sha1;
The file was modified Admin/components/components.sha1 (diff)
Changeset 76265:ce571ff5b502 by wenzelm:
proper description;
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
Changeset 76264:60511708a650 by nipkow:
one more lemma
The file was modified src/HOL/Fun.thy (diff)