Diffusion afp-devel 6610630663ea

Sync with my development repo.
6610630663ea
Actions

Tags

None

Subscribers

None

Description

Sync with my development repo.

Details

Provenance

Eugene W. Stark <stark@cs.stonybrook.edu>

Authored on

Parents

rAFP74a3f7ca4640: tuned lemmas

Branches

Unknown

Tags

Unknown

Event Timeline

Eugene W. Stark <stark@cs.stonybrook.edu> committed rAFP6610630663ea: Sync with my development repo..Mar 29 2024, 2:57 AM

Changes (12)

Path

Size

thys/

Bicategory/

ConcreteBicategory.thy

Category3/

CartesianCategory.thy

CartesianClosedCategory.thy

CategoryWithPullbacks.thy

ConcreteCategory.thy

EquivalenceOfCategories.thy

FreeCategory.thy

MonoidalCategory/

CartesianMonoidalCategory.thy

MonoidalCategory.thy

ResiduatedTransitionSystem/

LambdaCalculus.thy

ResiduatedTransitionSystem.thy

rAFP6610630663ea

thys/Bicategory/ConcreteBicategory.thy

Loading...

thys/Category3/CartesianCategory.thy

Loading...

thys/Category3/CartesianClosedCategory.thy

Loading...

thys/Category3/CategoryWithPullbacks.thy

Loading...

thys/Category3/ConcreteCategory.thy

Loading...

thys/Category3/EquivalenceOfCategories.thy

Loading...

thys/Category3/FreeCategory.thy

Loading...

thys/Category3/Functor.thy

Loading...

thys/MonoidalCategory/CartesianMonoidalCategory.thy

Loading...

thys/MonoidalCategory/MonoidalCategory.thy

Loading...

thys/ResiduatedTransitionSystem/LambdaCalculus.thy

Loading...

thys/ResiduatedTransitionSystem/ResiduatedTransitionSystem.thy

Loading...