Changes

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

Changeset 14507:8e05aa775151 by kevin kappelmann _kevin.kappelmann@tum.de_: merge
Changeset 14506:14ddb7afab3b by kevin kappelmann _kevin.kappelmann@tum.de_: feat(Transport) well-founded recursion with transitivity
The file was added	`thys/Transport/HOL_Basics/Binary_Relations/Binary_Relations_Least.thy`
The file was added	`thys/Transport/HOL_Basics/Binary_Relations/Binary_Relations_Transitive_Closure.thy`
The file was added	`thys/Transport/HOL_Basics/Binary_Relations/Wellfounded_Recursion/Wellfounded_Recursion.thy`
The file was modified	`thys/Transport/HOL_Basics/Binary_Relations/Binary_Relation_Functions.thy`
The file was modified	`thys/Transport/HOL_Basics/Binary_Relations/Functions/Binary_Relations_Clean_Functions.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_Relations_Right_Unique.thy`
The file was modified	`thys/Transport/HOL_Basics/Binary_Relations/Properties/Binary_Relations_Wellfounded.thy`
The file was modified	`thys/Transport/HOL_Basics/Functions/Properties/Functions_Bijection.thy`
The file was modified	`thys/Transport/HOL_Basics/Functions/Properties/Functions_Inverse.thy`