Diffusion afp-devel c3256e9003bc

fixed failing proofs
c3256e9003bc
Actions

Tags

None

Subscribers

None

Description

fixed failing proofs

Details

Provenance

Authored on

Parents

rAFP47e67967e32e: New definition of the Aleph operator so that it's defined for all arguments…

Branches

Unknown

Tags

Unknown

Event Timeline

desharna committed rAFPc3256e9003bc: fixed failing proofs.Feb 23 2022, 11:24 AM

Changes (1)

Path

Size

thys/

CZH_Elementary_Categories/

czh_ecategories/

CZH_ECAT_PCategory.thy

rAFPc3256e9003bc

thys/CZH_Elementary_Categories/czh_ecategories/CZH_ECAT_PCategory.thy

Loading...