Changes

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

Sync with my development repo: Category3: add various rules for limits. RTS: strengthen definition of transformation.

Changeset 12911:8190a9ebc716 by Eugene W. Stark _stark@cs.stonybrook.edu_: Sync with my development repo:  Category3: add various rules for limits.  RTS: strengthen definition of transformation.
The file was modified	`thys/Category3/CartesianCategory.thy`
The file was modified	`thys/Category3/CategoryWithPullbacks.thy`
The file was modified	`thys/Category3/Limit.thy`
The file was modified	`thys/MonoidalCategory/CartesianMonoidalCategory.thy`
The file was modified	`thys/ResiduatedTransitionSystem/LambdaCalculus.thy`
The file was modified	`thys/ResiduatedTransitionSystem/ResiduatedTransitionSystem.thy`