Skip to content
[Jenkins]Jenkins
log in
Success

Changes

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

Summary

  1. merge
  2. feat(Transport) add well-founded recursion thanks to N. Krofta
Changeset 14504:d0794ffa1ebd by kevin kappelmann _kevin.kappelmann@tum.de_:
merge
Changeset 14503:9d64f83d33e9 by kevin kappelmann _kevin.kappelmann@tum.de_:
feat(Transport) add well-founded recursion thanks to N. Krofta
The file was addedthys/Transport/HOL_Basics/Binary_Relations/Properties/Binary_Relations_Wellfounded.thy
The file was addedthys/Transport/HOL_Basics/Binary_Relations/Wellfounded_Recursion/Wellfounded_Transitive_Recursion.thy
The file was modified thys/Transport/HOL_Basics/Binary_Relations/LBinary_Relations.thy
The file was modified thys/Transport/HOL_Basics/Binary_Relations/Properties/Binary_Relation_Properties.thy
The file was modified thys/Transport/ROOT