Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Changes from Mercurial (hg https://isabelle.in.tum.de/repos/isabelle/ default)

Summary

  1. merged
  2. added lemma wellorder.wfp_on_less[simp]
Changeset 79964:4bcf3d5da98b by desharna:
merged
Changeset 79963:33c9a670e29c by desharna:
added lemma wellorder.wfp_on_less[simp]
The file was modified NEWS
The file was modified src/HOL/Wellfounded.thy

Changes from Mercurial (hg https://foss.heptapod.net/isa-afp/afp-devel/ default)

Summary

  1. updated url
  2. merged
  3. tuned proof
Changeset 14125:def25b977c4a by nipkow:
updated url
The file was modified web/about/index.html
Changeset 14124:825e817a0992 by desharna:
merged
Changeset 14123:0a317f2db21b by desharna:
tuned proof
The file was modified thys/Polynomials/Power_Products.thy