Diffusion afp-devel af4162a23c83

Removal of some old junk
af4162a23c83
Actions

Tags

None

Subscribers

None

Description

Removal of some old junk

Details

Provenance

paulson <lp15@cam.ac.uk>

Authored on

Parents

rAFP7af7b1ff3d02: Deleted unused material

Branches

Unknown

Tags

Unknown

Event Timeline

paulson <lp15@cam.ac.uk> committed rAFPaf4162a23c83: Removal of some old junk.Oct 19 2022, 4:33 PM

Changes (6)

Path

Size

thys/

Inductive_Confidentiality/

DolevYao/

GeneralAttacker/

IsaNet/

infrastructure/

Key_Agreement_Strong_Adversaries/

Message_derivation.thy

Security_Protocol_Refinement/

Refinement/

rAFPaf4162a23c83

thys/Inductive_Confidentiality/DolevYao/Message.thy

Loading...

thys/Inductive_Confidentiality/GeneralAttacker/MessageGA.thy

Loading...

thys/Inductive_Confidentiality/GeneralAttacker/PublicGA.thy

Loading...

thys/IsaNet/infrastructure/Message.thy

Loading...

thys/Key_Agreement_Strong_Adversaries/Message_derivation.thy

Loading...

thys/Security_Protocol_Refinement/Refinement/Message.thy

Loading...