Diffusion afp-devel 4b4d09cb8a4c

Tweaks, mostly in search of speedup.
4b4d09cb8a4c
Actions

Tags

None

Subscribers

None

Description

Tweaks, mostly in search of speedup.

Details

Provenance

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

Authored on

Parents

rAFP2d4667e525c2: merged

Branches

Unknown

Tags

Unknown

Event Timeline

"Eugene W. Stark <stark@cs.stonybrook.edu>" committed rAFP4b4d09cb8a4c: Tweaks, mostly in search of speedup..Feb 23 2020, 1:10 AM

Changes (14)

Path

Size

thys/

Bicategory/

BicategoryOfSpans.thy

CanonicalIsos.thy

InternalAdjunction.thy

InternalEquivalence.thy

Prebicategory.thy

Pseudofunctor.thy

SpanBicategory.thy

Subbicategory.thy

Category3/

rAFP4b4d09cb8a4c

thys/Bicategory/Bicategory.thy

Loading...

thys/Bicategory/BicategoryOfSpans.thy

Loading...

thys/Bicategory/CanonicalIsos.thy

Loading...

thys/Bicategory/Coherence.thy

Loading...

thys/Bicategory/InternalAdjunction.thy

Loading...

thys/Bicategory/InternalEquivalence.thy

Loading...

thys/Bicategory/Prebicategory.thy

Loading...

thys/Bicategory/Pseudofunctor.thy

Loading...

thys/Bicategory/SpanBicategory.thy

Loading...

thys/Bicategory/Strictness.thy

Loading...

thys/Bicategory/Subbicategory.thy

Loading...

thys/Bicategory/Tabulation.thy

Loading...

thys/Category3/Category.thy

Loading...

thys/Category3/Limit.thy

Loading...