Diffusion afp-devel 2d18ab671110

Qualification required(?)
2d18ab671110
Actions

Tags

None

Subscribers

None

Description

Qualification required(?)

Details

Provenance

Authored on

Parents

rAFPf615acb4aac4: merged

Branches

Unknown

Tags

Unknown

Event Timeline

nipkow committed rAFP2d18ab671110: Qualification required(?).Feb 4 2022, 1:36 PM

Changes (1)

Path

Size

thys/

Public_Announcement_Logic/

rAFP2d18ab671110

thys/Public_Announcement_Logic/PAL.thy

Loading...