Diffusion afp-devel 5fa903cd1a85

Entry Relational_Method updated.
5fa903cd1a85
Actions

Tags

None

Subscribers

None

Description

Entry Relational_Method updated.

Details

Provenance

Pasquale Noce <pasquale.noce@hidglobal.com>

Authored on

Parents

rAFP0320f17157ee: more realistic timeout;

Branches

Unknown

Tags

Unknown

Event Timeline

Pasquale Noce <pasquale.noce@hidglobal.com> committed rAFP5fa903cd1a85: Entry Relational_Method updated..Aug 27 2021, 1:40 PM

Changes (4)

Path

Size

thys/

Relational_Method/

Authentication.thy

Definitions.thy

Possibility.thy

rAFP5fa903cd1a85

thys/Relational_Method/Anonymity.thy

Loading...

thys/Relational_Method/Authentication.thy

Loading...

thys/Relational_Method/Definitions.thy

Loading...

thys/Relational_Method/Possibility.thy

Loading...