Diffusion afp-devel 32113098cca3

fix proof in Relational_Method
32113098cca3
Actions

Tags

None

Subscribers

None

Description

fix proof in Relational_Method

Details

Provenance

Lars Hupel <lars.hupel@mytum.de>

Authored on

Parents

rAFP414eeb34a872: update MFMC_Countable change log

Branches

Unknown

Tags

Unknown

Event Timeline

Lars Hupel <lars.hupel@mytum.de> committed rAFP32113098cca3: fix proof in Relational_Method.Dec 19 2020, 12:41 PM

Changes (4)

Path

Size

thys/

Relational_Method/

Authentication.thy

Definitions.thy

Possibility.thy

rAFP32113098cca3

thys/Relational_Method/Anonymity.thy

Loading...

thys/Relational_Method/Authentication.thy

Loading...

thys/Relational_Method/Definitions.thy

Loading...

thys/Relational_Method/Possibility.thy

Loading...