Diffusion afp-devel 7af7b1ff3d02

Deleted unused material
7af7b1ff3d02
Actions

Tags

None

Subscribers

None

Description

Deleted unused material

Details

Provenance

paulson <lp15@cam.ac.uk>

Authored on

Parents

rAFPac7bd3b4f3cf: nothing

Branches

Unknown

Tags

Unknown

Event Timeline

paulson <lp15@cam.ac.uk> committed rAFP7af7b1ff3d02: Deleted unused material.Oct 19 2022, 2:46 PM

Changes (3)

Path

Size

thys/

Inductive_Confidentiality/

DolevYao/

GeneralAttacker/

Security_Protocol_Refinement/

Refinement/

rAFP7af7b1ff3d02

thys/Inductive_Confidentiality/DolevYao/Message.thy

Loading...

thys/Inductive_Confidentiality/GeneralAttacker/MessageGA.thy

Loading...

thys/Security_Protocol_Refinement/Refinement/Message.thy

Loading...