Diffusion afp-devel 001657f3e9b5

adjust for new tags in Isabelle2021-1-RC4
001657f3e9b5
Actions

Tags

None

Subscribers

None

Description

adjust for new tags in Isabelle2021-1-RC4

Details

Provenance

Authored on

Parents

rAFP4cabc8dd3298: fix dangerous context management

Branches

Unknown

Tags

Unknown

Event Timeline

kleing committed rAFP001657f3e9b5: adjust for new tags in Isabelle2021-1-RC4.Dec 1 2021, 8:46 AM

Changes (4)

Path

Size

thys/

CZH_Elementary_Categories/

document/

CZH_Foundations/

document/

CZH_Universal_Constructions/

document/

Types_To_Sets_Extension/

document/

rAFP001657f3e9b5

thys/CZH_Elementary_Categories/document/style.sty

Loading...

thys/CZH_Foundations/document/style.sty

Loading...

thys/CZH_Universal_Constructions/document/style.sty

Loading...

thys/Types_To_Sets_Extension/document/style.sty

Loading...